ДОКЛАДЫ АКАДЕМИИ НАУК
ВЫСШЕЙ ШКОЛЫ РОССИЙСКОЙ ФЕДЕРАЦИИ

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

Список литературы

1. ZHU Lian-Zhanga, KONG Fan-Sheng. Automatic Conversion from UML to CPN for Software Performance Evaluation // Procedia Engineering. – 2012. – No. 29. – Pр. 2682–2686.
2. Campos J., Merseguer J. On the Integration of UML and Petri Nets in Software Development // ICATPN. – 2006. – Pр. 19–36.
3. Yann Thierry-Mieg, Lom-Messan Hillah. UML behavioral consistency checking using instantiable Petri nets // Innovations Syst Softw Eng. – 2008. – No. 4. – Pр. 293–300.
4. Eichner C., Fleischhack H., Meyer R., Schrimpf U., Stehno C. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets // SDL. – 2005. – Pр. 133–148.
5. Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian. Modeling UML sequence diagrams using extended Petri nets // Telecommun Syst. – 2012. – Vol. 51. – Pр. 147–158.
6. Basile F., Chiacchio P., Grosso D.D. A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net // Computer Standards & Interfaces. – 2009. – Vol. 31. – Pр. 528–538.
7. Miyamoto T., Kurahata H., Fujii T., Hosokawa R. Synthesis of state machine diagrams from communication diagrams using Petri nets // Innovations Syst Softw Eng. – 2010. – Vol. 6. – Pр. 39–46.
8. Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления: дис. …. канд. техн. наук. – Новосибирск, 2007. – 216 c.
9. Романников Д.О., Марков А.В. Пример применения методики разработки ПО с использованием UML-диаграмм и сетей Петри // Научный вестник НГТУ. – 2012. – № 1(67). – С. 175–181.
10. Воевода А.А., Романников Д.О. Применение UML диаграмм и сетей Петри при разработке встраиваемого программного обеспечения // Научный вестник НГТУ. –2009. – № 4 (37). – С. 169–174.
11. Марков А.В., Воевода А.А. Развитие системы «Перемещение манипулятора в пространстве с препятствиями» при помощи рекурсивных функций // Автоматика и программная инженерия. – 2013. – № 2. – С. 35–41.
12. Марков А.В., Воевода А.А. Анализ сетей Петри при помощи деревьев достижимости // Сборник научных трудов НГТУ. – 2013. – № 1. – С. 78–95.