maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-4-128-143mais-47Research ArticleОригинальные статьиArticlesОптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестированияOptimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing ScenariosДоррерМихаил ГеоргиевичDorrerM. G.

канд. техн. наук, доцент каф. системотехники

канд. техн. наук, доцент каф. системотехники

mdorrer@mail.ruКурохтинВиталий ВалерьевичKurokhtinV. V.

аспирант каф. системотехники

аспирант каф. системотехники

vitaliy.kurokhtin@gmail.comСибирский Государственный Технологический университетРоссияСибирский Государственный Технологический университетRussian Federation201228022015194128143Copyright © Доррер М.Г., Курохтин В.В., 20152015Доррер М.Г., Курохтин В.В.Dorrer M.G., Kurokhtin V.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/47

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

The article describes a method of finding business process invariants basing on a given model in eEPC notation. The method uses an original translation process to build a Petri net corresponding to the source eEPC model, to find its invariants and to translate them back into the eEPC notation. An optimized method of finding Petri net invariants is also offered, based on estimating possible values for separate vector elements (and a group of elements) and combining these values with each other to receive a Petri net invariant. The resulting business process invariants may be used to create integration testing scenarios for an implemented automation system.

инвариантсеть Петриоптимизацияинтеграционное тестированиеinvariantPetri netoptimizationintegration tesingReferencesJensen Kurt. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods. Berlin; Heidelberg; New York: Springler, 1997.Jensen Kurt. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods. Berlin; Heidelberg; New York: Springler, 1997.Доррер Г.А. Моделирование вычислительных систем: Учебное пособие для студентов направлений 552800 и 654600. Красноярск: СибГТУ, 2003. 188 с.Доррер Г.А. Моделирование вычислительных систем: Учебное пособие для студентов направлений 552800 и 654600. Красноярск: СибГТУ, 2003. 188 с.Доррер М.Г. Алгоритм преобразования моделей бизнесс-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. 2010. Т. 17, №2. С. 5—16.Доррер М.Г. Алгоритм преобразования моделей бизнесс-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. 2010. Т. 17, №2. С. 5—16.Котов В.Е. Сети Петри. М.:Наука,1984.Котов В.Е. Сети Петри. М.:Наука,1984.Шеер А.-В. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999. 182 с.Шеер А.-В. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999. 182 с.

The authors declare that there are no conflicts of interest present.