Software Life Cycle Modeling from Requirements Gathering to Implementation Based on the Use of UML-Diagrams
Abstract
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.
About the Authors
K. I. Bushmeleva
Surgut State University
Russian Federation
Russian Federation
L. R. Zaripova
Surgut State University
Russian Federation
Russian Federation
References
1. Атисков А. Ю. Разработка технологии и программной системы автоматизированной трансформации диаграмм функционального проектирования в диаграммах UML. URL: http://www.dissercat.com/content/ (дата обращения: 02.07.2018).
2. Буч Г., Максимчук Р., Энгл М., Янг Б., Коналлен Дж., Хьюстон К. Объектно-ориентированный анализ и проектирование с примерами приложений. 3-е изд. / пер с англ. М. : ООО «И. Д. Вильямс», 2010. 720 с.
3. Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В. Моделирование параллельных процессов. Сети Петри. Курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем управления. СПб. : Профессиональная литература ; АйТи-Подготовка, 2014. 400 с.
4. Воевода А. А. Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием : автореф. дис. … канд. техн. наук. 2012. URL: http://www.dissercat.com/content/razrabotka-programmnogo-obespecheniya-s-primeneniem-uml-diagramm-i-setei-petri-dlya-sistem-u (дата обращения: 20.01.2019).
5. Зарипова Л. Р., Бушмелева К. И. Модель мультиверсионной информационной системы управления изменениями программного обеспечения в информационных проектах // Вестник кибернетики. 2018. № 3 (31). С. 212–216.
6. Питерсон Дж. Теория сетей Петри и моделирования. М. : Мир, 1984. 264 с.
7. Мальков М. В., Малыгина С. Н. Сети Петри и моделирование // Сборник научных трудов 2010. URL: https://cyberleninka.ru/article/v/seti-petri-i-modelirovanie (дата обращения: 20.01.2019).
8. Марков А. В. Автоматизация проектирования анализа программного обеспечения с использованием языка UML и сетей Петри : автореф. дис. … канд. техн. наук. 2015. 24 с. URL: https://www.nstu.ru/files/dissertations/markov_abstract_142926270737.pdf (дата обращения: 20.01.2019).
9. Пашковская Е. С. Математическое и программное обеспечение мультиверсионной информационной системы с универсальной структурой интерфейсов на основе маркированной сети Петри : автореф. дис. … канд. техн. наук. Воронеж, 2016. 18 с.
Review
For citations:
Bushmeleva K.I., Zaripova L.R. Software Life Cycle Modeling from Requirements Gathering to Implementation Based on the Use of UML-Diagrams. Proceedings in Cybernetics. 2019;(1 (33)):94-99. (In Russ.)
Views:
207
Email this article 