Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
https://doi.org/10.18255/1818-1015-2012-4-128-143
Abstract
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.
About the Authors
M. G. Dorrer
Сибирский Государственный Технологический университет
Russian Federation
канд. техн. наук, доцент каф. системотехники
Russian Federation
канд. техн. наук, доцент каф. системотехники
V. V. Kurokhtin
Сибирский Государственный Технологический университет
Russian Federation
аспирант каф. системотехники
Russian Federation
аспирант каф. системотехники
References
1. Jensen Kurt. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods. Berlin; Heidelberg; New York: Springler, 1997.
2. Доррер Г.А. Моделирование вычислительных систем: Учебное пособие для студентов направлений 552800 и 654600. Красноярск: СибГТУ, 2003. 188 с.
3. Доррер М.Г. Алгоритм преобразования моделей бизнесс-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. 2010. Т. 17, №2. С. 5—16.
4. Котов В.Е. Сети Петри. М.:Наука,1984.
5. Шеер А.-В. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999. 182 с.
Review
For citations:
Dorrer M.G., Kurokhtin V.V. Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios. Modeling and Analysis of Information Systems. 2012;19(4):128-143. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-128-143
Views:
906
Email this article 