Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
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 op...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2015-02-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/47 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849688204941197312 |
|---|---|
| author | M. G. Dorrer V. V. Kurokhtin |
| author_facet | M. G. Dorrer V. V. Kurokhtin |
| author_sort | M. G. Dorrer |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-08f6e36ea7c044d4840d93ba88ecb58b |
| institution | DOAJ |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2015-02-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-08f6e36ea7c044d4840d93ba88ecb58b2025-08-20T03:22:04ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-02-0119412814310.18255/1818-1015-2012-4-128-14341Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing ScenariosM. G. Dorrer0V. V. Kurokhtin1Сибирский Государственный Технологический университетСибирский Государственный Технологический университет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.https://www.mais-journal.ru/jour/article/view/47invariantpetri netoptimizationintegration tesing |
| spellingShingle | M. G. Dorrer V. V. Kurokhtin Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios Моделирование и анализ информационных систем invariant petri net optimization integration tesing |
| title | Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios |
| title_full | Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios |
| title_fullStr | Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios |
| title_full_unstemmed | Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios |
| title_short | Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios |
| title_sort | optimization of calculating invariants in petri nets to support the creation of integration testing scenarios |
| topic | invariant petri net optimization integration tesing |
| url | https://www.mais-journal.ru/jour/article/view/47 |
| work_keys_str_mv | AT mgdorrer optimizationofcalculatinginvariantsinpetrinetstosupportthecreationofintegrationtestingscenarios AT vvkurokhtin optimizationofcalculatinginvariantsinpetrinetstosupportthecreationofintegrationtestingscenarios |