|
Modelirovanie i Analiz Informatsionnykh Sistem, 2012, Volume 19, Number 4, Pages 128–143
(Mi mais239)
|
|
|
|
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
M. G. Dorrer, V. V. Kurokhtin Siberian State Technological University, Krasnoyarsk
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.
Keywords:
invariant, Petri net, optimization, integration tesing.
Received: 25.07.2012
Citation:
M. G. Dorrer, V. V. Kurokhtin, “Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios”, Model. Anal. Inform. Sist., 19:4 (2012), 128–143
Linking options:
https://www.mathnet.ru/eng/mais239 https://www.mathnet.ru/eng/mais/v19/i4/p128
|
|