Abstract | ||
---|---|---|
The authors propose a runtime verification mechanism for business processes. This mechanism allows verifying the correctness of business process execution and it runs in parallel with the base processes affecting them insignificantly. The authors have identified the case where the use of business process runtime verification is helpful and applicable. The verification mechanism monitors the business process execution and verifies compliance with the base process description. The verification mechanism prototype was developed and tested in real business processes, as well as limits of runtime verification overhead were evaluated. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/CICSyN.2015.28 | CICSyN |
Keywords | Field | DocType |
Business process verification, runtime verification, multi-agent systems | Functional verification,Intelligent verification,Computer science,Verification,Runtime verification,Business process modeling,High-level verification,Business Process Model and Notation,Distributed computing,Software verification | Conference |
Citations | PageRank | References |
1 | 0.36 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ivo Oditis | 1 | 1 | 0.70 |
Janis Bicevskis | 2 | 37 | 14.47 |