Continuous Correctness of Business Processes Against Process Interference

N. v. Beest, D. Bucur

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)


In distributed business process support environments, process interference from multiple stakeholders may cause erroneous process outcomes. Existing solutions to detect and correct interference at runtime employ formal verification and the automatic generation of intervention processes at runtime. However, these solutions are limited in their generality: they cannot cope with interference that occurs during the entire runtime of the business process, some of which is unknown at design time. In this paper, we present an automated framework for the runtime verification and correction of business processes against interference, which guarantees continuous correctness of process execution in any distributed environment. The continuous detection of interference during process execution is achieved on-the-fly using temporal verification of the running process together with virtual external data transactions, this identifies a minimal set of process checkpoints where the execution of external transactions would change the outcome of the local process. To achieve continuous correction, runtime checks are made at these process checkpoints, and, whenever interference occurs, an intervention process is generated to correct the local process from its current state. Subsequently, any intervention process is itself continuously verified and corrected, thus guaranteeing correct execution throughout the lifetime of a process. The approach is evaluated on a real case-study from the Dutch e-Government.
Original languageEnglish
Title of host publication2013 IEEE 6th International Conference on Service-Oriented Computing and Applications
Number of pages8
ISBN (Electronic)978-1-4799-2702-9
Publication statusPublished - 1 Dec 2013
Externally publishedYes
Event6th IEEE International conference on Service-Oriented Computing and Applications 2013 - Sheraton Kauai Resort, Kauai, United States
Duration: 16 Dec 201318 Dec 2013


Conference6th IEEE International conference on Service-Oriented Computing and Applications 2013
Abbreviated titleSOCA 2013
CountryUnited States
Internet address


  • business process re-engineering
  • data handling
  • formal verification
  • government data processing
  • Dutch e-Government
  • continuous correctness
  • distributed business process support environments
  • process interference
  • runtime verification
  • virtual external data transactions
  • Business
  • Data models
  • Databases
  • Educational institutions
  • Interference
  • Monitoring
  • Runtime
  • business processes
  • runtime checking

Fingerprint Dive into the research topics of 'Continuous Correctness of Business Processes Against Process Interference'. Together they form a unique fingerprint.

Cite this