Пащенкова Анна Валерьевна

В современной индустрии программного обеспечения (ПО) широко используется объектно-ориентированный подход к анализу и проектированию ПО с применением языка UML. Некорректное представление сложных алгоритмов и механизмов синхронизации на UML-диаграммах приводит к взаимным блокировкам потоков и другим проблемам при функционировании ПО. Поэтому особый интерес для разработчиков ПО представляют методы преобразования и анализа правильности UML-диаграмм. Статья посвящена разработке метода поиска некорректных маркировок иерархической сети Петри, построенной на основе диаграмм состояний и деятельности UML. Под некорректной маркировкой понимается начальное состояние сети Петри, которое при определенной последовательности срабатываний переходов приводит к тупиковой ситуации.

В статье изложен метод формализации программного обеспечения (блок-схем, диаграмм UML) иерархическими сетями Петри. Блок-схемы алгоритмов являются начальным представлением о разрабатываемой программе. Проектирование программных систем с помощью UML-диаграмм позволяет разработчикам программного обеспечения достигнуть соглашения в графических обозначениях для представления общих понятий, сконцентрироваться на архитектуре системы, что не обеспечивает отсутствие ошибок проектирования. Для обнаружения ошибок на ранних этапах создания программного обеспечения необходимо использовать аппарат сетей Петри. В статье показано, каким образом происходит преобразование блок-схем и UML-диаграмм в сеть Петри. Приведены способы анализа сети Петри, которые позволяют свести ошибки проектирования к минимуму.