АЛГОРИТМ АВТОМАТИЧЕСКОЙ ТРАНСЛЯЦИИ ДИАГРАММЫ АКТИВНОСТИ В СЕТЬ ПЕТРИ

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

• Марков А. В.
• Романников Д.О.

• Общий отдел

• Естественные науки
• Технические науки. Промышленность
• Физико-математические науки