2014 УДК 004.4'22 АЛГОРИТМ АВТОМАТИЧЕСКОЙ ТРАНСЛЯЦИИ ДИАГРАММЫ АКТИВНОСТИ В СЕТЬ ПЕТРИ 1Новосибирский государственный технический университет 2ООО «Параллелз», филиал в г. Новосибирске Марков А.В. <...> 2 Для разработки качественного программного обеспечения (ПО) предлагается применять средства проектирования, а именно пользоваться UML диаграммами для моделирования систем и сетями Петри для анализа полученных диаграмм. <...> Данную процедуру предлагается осуществить при помощи схожей структуры форматов, в которых могут быть сохранены UML диаграммы активности и сети Петри. <...> Для корректного преобразования приводятся требования к проектированию диаграмм – задание такой структуры имен, которая позволит передать необходимые данные для трансляции в сеть Петри, а также выделяются схожие сущности, между которыми происходит обмен информацией – места, переходы, взаимосвязи между ними. <...> Правила, по которым происходит преобразование, представляются в алгоритмическом виде, что способствует их формализации. <...> Алгоритм преобразования по схожим форматам представляется на примере диаграммы активности и сети Петри, которые содержат набор приведенных правил. <...> Ключевые слова: UML, сети Петри, автоматическое преобразование, формат «.xmi», формат «.cpn», диаграмма активности, анализ спроектированных диаграмм. <...> Существует множество способов и правил совместного использования диаграмм и сетей, но в каждой из них не хватает либо самых правил преобразования одной сущности в другую, либо их формализации. <...> В работах [3, 4] в графическом виде предлагаются правила преобразования, но отсутствует упоминание о формализации данных правил. <...> Применяя UML диаграммы вариантов использования, классов, активности, проектируются системы с последующим анализом при помощи сетей Петри поведенческих диаграмм [11, 12]. <...> Object Management Group был предложен формат «.xmi», в котором может храниться сжатая, но полная информация как о смоделированных проектах, так и об отдельных <...>