Другие журналы
|
электронный научно-технический журналИНЖЕНЕРНЫЙ ВЕСТНИКИздатель: Общероссийская общественная организация "Академия инженерных наук им. А.М. Прохорова".
Поиск некорректной начальной маркировки иерархической сети Петри на основе диаграмм состояний UML
Инженерный вестник # 12, декабрь 2014 УДК: 519.6
Файл статьи:
Paschenkova_A.pdf
(735.33Кб)
В современной индустрии программного обеспечения (ПО) широко используется объектно-ориентированный подход к анализу и проектированию ПО с применением языка UML. Некорректное представление сложных алгоритмов и механизмов синхронизации на UML-диаграммах приводит к взаимным блокировкам потоков и другим проблемам при функционировании ПО. Поэтому особый интерес для разработчиков ПО представляют методы преобразования и анализа правильности UML-диаграмм. Статья посвящена разработке метода поиска некорректных маркировок иерархической сети Петри, построенной на основе диаграмм состояний и деятельности UML. Под некорректной маркировкой понимается начальное состояние сети Петри, которое при определенной последовательности срабатываний переходов приводит к тупиковой ситуации. Список литературы 1. Коротиков С. В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления: дис. канд. техн. наук. — Новосибирск: НГТУ, 2007. 2. Hu Z., Shatz S.M. Mapping UML diagrams to a Petri net notation for system simulation // Proceedings of the international conference on software engineering and knowledge engineering (SEKE), Banff. — Canada, 2004. — C. 213-219. 3. Campos J., Merseguer J. On the integration of UML and Petri nets in software development // Lecture Notes in Computer Science. — Berlin; Heidelberg, 2006. — C. 19-36. 4. Baresi L., Pezze M. On formalizing UML with high-level Petri net // Concurrent object-oriented programming and Petri nets: advances in Petri nets. — Berlin; Heidelberg, 2003. — C. 276-304. 5. Пащенкова А.В. Поиск некорректной начальной маркировки иерархической сети Петри на основе диаграммы состояний UML: магистерская диссертация. — Москва: МГТУ им. Н.Э.Баумана, 2014. Публикации с ключевыми словами: UML, сеть Петри, дерево достижимости, маркировка сети Петри Публикации со словами: UML, сеть Петри, дерево достижимости, маркировка сети Петри Смотри также: Тематические рубрики: Поделиться:
|
|
|||||||||||||||||||
|