6533b833fe1ef96bd129bfdb
RESEARCH PRODUCT
Asynchronous Runtime Verification of Business Processes
Ivo OditisJanis Bicevskissubject
Business Process Model and NotationHigh-level verificationFunctional verificationbusiness.industryComputer scienceDistributed computingRuntime verificationVerificationBusiness process modelingSoftware engineeringbusinessSoftware verificationIntelligent verificationdescription
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 | journal | country | edition | language |
|---|---|---|---|---|
| 2015-06-01 | 2015 7th International Conference on Computational Intelligence, Communication Systems and Networks |