Машиностроение
Приборостроение
Методическая периодика: проблемы и решения
Организация производства (промышленность)

Ключевые слова
Аннотации
Архив рубрик

регистрация
забыли пароль?

Другие журналы

электронный научно-технический журнал

ИНЖЕНЕРНЫЙ ВЕСТНИК

Издатель: Общероссийская общественная организация "Академия инженерных наук им. А.М. Прохорова".

Поиск некорректной начальной маркировки иерархической сети Петри на основе диаграмм состояний 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.