Asynchronous runtime verification of business processes: Proof of concept

This paper describes a new approach to the runtime verification of business processes as well as discusses its approbation. This approach utilizes the idea of a multi-agent system, presenting a runtime verification system that is able to perform verification without affecting business processes that are running in a heterogeneous environment. The verification mechanism monitors business process execution and verifies the compliance of the execution with the description of the verification process. This research also led to the development of a domain-specific language to describe business process verification. The prototype of verification mechanism is developed and tested on real business processes, and verification performance, produced overhead and limitations are evaluated. © 2015, UK Simulation Society. All rights reserved.