RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

Модел. и анализ информ. систем, 2012, том 19, номер 4, страницы 128–143 (Mi mais239)

Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования

М. Г. Доррер, В. В. Курохтин

Сибирский государственный технологический университет

Аннотация: Рассматривается метод нахождения инвариантов модели бизнес-процесса построенной в нотации eEPC. Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном преобразовании полученных инвариантов сети Петри в модель eEPC. Предлагается оптимизированный метод нахождения инвариантов сети Петри, основанный на определении возможных значений отдельных элементов (и их групп) векторов инвариантов и их дальнейшей комбинации. Полученные инварианты бизнес-процесса могут быть использованы для построения сценариев интеграционного тестирования внедряемой на предприятии АСУ.

Ключевые слова: инвариант, сеть Петри, оптимизация, интеграционное тестирование.

УДК: 519.876.5

Поступила в редакцию: 25.07.2012



© МИАН, 2024