procyberВестник кибернетикиProceedings in Cybernetics1999-7604Бюджетное учреждение высшего образования Ханты-Мансийского автономного округа – Югры «Сургутский государственный университет»procyber-268Research ArticleТЕХНИЧЕСКИЕ НАУКИEngeneeringМоделирование жизненного цикла программного обеспечения от сбора требований до внедрения на основе применения UML-диаграммыSoftware Life Cycle Modeling from Requirements Gathering to Implementation Based on the Use of UML-DiagramsБушмелеваК. И.BushmelevaK. I.bkiya@yandex.ruЗариповаЛ. Р.ZaripovaL. R.zlr23.07@gmail.comСургутский государственный университетРоссияSurgut State UniversityRussian Federation20193103202001 (33)9499Copyright © Бушмелева К.И., Зарипова Л.Р., 20202020Бушмелева К.И., Зарипова Л.Р.Bushmeleva K.I., Zaripova L.R.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.vestcyber.ru/jour/article/view/268

В данной работе представлена модель сети Петри жизненного цикла программного обеспечения от сбора требований до внедрения посредством языка UML. Была дана характеристика бизнес-процессов жизненного цикла программного обеспечения, построены Case-модель и маркированная модель сети Петри с подробным описанием, после чего было реализовано дерево достижимости. Авторами проведен анализ сети Перти на безопасность и ограниченность, в результате которого было выявлено, что программное обеспечение является надежным.

The paper presents a Petri net model of the software life cycle from requirements gathering to implementation via UML. The characteristic of the business processes of the software life cycle is given. The Case-model and the marked Petri net model with detailed description are constructed. Afterwards, the reachability tree is implemented. The authors analyzed the Petri net for security and limitations resulting in the reliability of software.

сети Петрипрограммное обеспечениеUML-диаграммыжизненный циклPetri netssoftwareUML diagramslife cycleReferencesАтисков А. Ю. Разработка технологии и программной системы автоматизированной трансформации диаграмм функционального проектирования в диаграммах UML. URL: http://www.dissercat.com/content/ (дата обращения: 02.07.2018).Атисков А. Ю. Разработка технологии и программной системы автоматизированной трансформации диаграмм функционального проектирования в диаграммах UML. URL: http://www.dissercat.com/content/ (дата обращения: 02.07.2018).Буч Г., Максимчук Р., Энгл М., Янг Б., Коналлен Дж., Хьюстон К. Объектно-ориентированный анализ и проектирование с примерами приложений. 3-е изд. / пер с англ. М. : ООО «И. Д. Вильямс», 2010. 720 с.Буч Г., Максимчук Р., Энгл М., Янг Б., Коналлен Дж., Хьюстон К. Объектно-ориентированный анализ и проектирование с примерами приложений. 3-е изд. / пер с англ. М. : ООО «И. Д. Вильямс», 2010. 720 с.Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В. Моделирование параллельных процессов. Сети Петри. Курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем управления. СПб. : Профессиональная литература ; АйТи-Подготовка, 2014. 400 с.Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В. Моделирование параллельных процессов. Сети Петри. Курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем управления. СПб. : Профессиональная литература ; АйТи-Подготовка, 2014. 400 с.Воевода А. А. Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием : автореф. дис. … канд. техн. наук. 2012. URL: http://www.dissercat.com/content/razrabotka-programmnogo-obespecheniya-s-primeneniem-uml-diagramm-i-setei-petri-dlya-sistem-u (дата обращения: 20.01.2019).Воевода А. А. Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием : автореф. дис. … канд. техн. наук. 2012. URL: http://www.dissercat.com/content/razrabotka-programmnogo-obespecheniya-s-primeneniem-uml-diagramm-i-setei-petri-dlya-sistem-u (дата обращения: 20.01.2019).Зарипова Л. Р., Бушмелева К. И. Модель мультиверсионной информационной системы управления изменениями программного обеспечения в информационных проектах // Вестник кибернетики. 2018. № 3 (31). С. 212–216.Зарипова Л. Р., Бушмелева К. И. Модель мультиверсионной информационной системы управления изменениями программного обеспечения в информационных проектах // Вестник кибернетики. 2018. № 3 (31). С. 212–216.Питерсон Дж. Теория сетей Петри и моделирования. М. : Мир, 1984. 264 с.Питерсон Дж. Теория сетей Петри и моделирования. М. : Мир, 1984. 264 с.Мальков М. В., Малыгина С. Н. Сети Петри и моделирование // Сборник научных трудов 2010. URL: https://cyberleninka.ru/article/v/seti-petri-i-modelirovanie (дата обращения: 20.01.2019).Мальков М. В., Малыгина С. Н. Сети Петри и моделирование // Сборник научных трудов 2010. URL: https://cyberleninka.ru/article/v/seti-petri-i-modelirovanie (дата обращения: 20.01.2019).Марков А. В. Автоматизация проектирования анализа программного обеспечения с использованием языка UML и сетей Петри : автореф. дис. … канд. техн. наук. 2015. 24 с. URL: https://www.nstu.ru/files/dissertations/markov_abstract_142926270737.pdf (дата обращения: 20.01.2019).Марков А. В. Автоматизация проектирования анализа программного обеспечения с использованием языка UML и сетей Петри : автореф. дис. … канд. техн. наук. 2015. 24 с. URL: https://www.nstu.ru/files/dissertations/markov_abstract_142926270737.pdf (дата обращения: 20.01.2019).Пашковская Е. С. Математическое и программное обеспечение мультиверсионной информационной системы с универсальной структурой интерфейсов на основе маркированной сети Петри : автореф. дис. … канд. техн. наук. Воронеж, 2016. 18 с.Пашковская Е. С. Математическое и программное обеспечение мультиверсионной информационной системы с универсальной структурой интерфейсов на основе маркированной сети Петри : автореф. дис. … канд. техн. наук. Воронеж, 2016. 18 с.

The authors declare that there are no conflicts of interest present.