Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
| Autor: | M. G. Dorrer, V. V. Kurokhtin |
|---|---|
| Jazyk: | English<br />Russian |
| Rok vydání: | 2012 |
| Předmět: | |
| Zdroj: | Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 128-143 (2012) |
| Druh dokumentu: | article |
| ISSN: | 1818-1015 2313-5417 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|