УДК 51.681.3
ЕКОСИСТЕМИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ
Анотація. Розглянуто модель екосистеми, яка орієнтована на галузь про-грамної інженерії.
Запропоновано два підходи до дослідження властивостей моделі — мережевий і автоматний.
Зокрема, розглянуто способи пошуку оптимального плану виконання робіт в екосистемі, ідентифікації аварійних ситуацій,
можливість паралельного виконання завдань.
Ключові слова: екосистема, транзиційні системи, скінченні автомати, ча-сові автомати, мережі Петрі.
ПОВНИЙ ТЕКСТ
Крывый Сергей Лукьянович,
доктор физ.-мат. наук, профессор, профессор кафедры Киевского национального университета
имени Тараса Шевченко, 
sl.krivoi@gmail.com
Гриненко Елена Александровна,
старший преподаватель Национального авиационного университета, Киев, gsa_ck@ukr.net
СПИСОК ЛІТЕРАТУРИ
- Сидоров Н.А. Экология программного обеспечения. Iнженерiя програмного забезпечення. 2010. № 1. С. 53–61.
- Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. The description logic handbook. Cambridge: University Press, 2007. 601 p.
- Kryvyi S.L., Pogorilyy S.D., Boyko Y.V. Network model of IT-infrastructure resource management. 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT), Kyiv, Ukraine, 2019. P. 149–153.
- Telenyk S., Rolik A., Bukasov M., Halushko D. Models and methods of resource management VPS hosting. Technical Тransaction. Automatic Control. Politechnika Krakowska. 2013. Vol. 4-AC. P. 41–52.
- Крывый С.Л., Погорелый С.Д., Глибовец Н.Н., Бойко Ю.В., Сидорова Н.Н. Проектирование ИТ-инфраструктуры. Кибернетика и системный анализ. 2018. Т. 54, № 6. С. 141–158.
- Lee D.Y., DiCesare F. Petri net-based heuristic sheduling for flexible manufacturing. In: Petri Nets in Flexible and Agile Automation. The Springer International Series in Engineering and Computer Science. Boston: Springer, 1995. Vol. 310. P. 149–187.
- Alur R., Dill D.L. A theory of timed automata. Theoretical Computer Science. 1994. Vol. 126. P. 183–235.
- Penczek W., Polrola A. Advanced in verification of timed Petri nets and timed automata. A temporal logic approach. Berlin; Heidelberg: Springer-Verlag, 2006. 257 p.
- Alur R., Henzinger T., Ho P. Automata symbolic verification of embedded systems. IEEE Trans. on Software Eng. 1996. Vol. 22, N 3. P. 74–88.
- Gimatti A., Clarce E., Giuchiglia E., Giuchiglia F., Pistore M., Rovere M., Sebastiani R., Tacchella A. NuSMV2: An open-source toll for symbolic model checking. Proc. of the 14th Intern. Conf. on Computer Aided Verification (CAV’02). LNCS. 2002. Vol. 2404. P. 359–364.
- Beyer D. Rabbit: Verification of real-time systems. Proc. of the Workshop on Real-Time Tolls (RT-TOOLS’01). 2003. P. 13–21.
