Automated runtime repair of business processes

Beest, Nick van; Kaldeli, Eirini; Bulanov, Pavel; Wortmann, Hans; Lazovik, Alexander

doi:10.1016/j.is.2013.07.003

Cited by 37 publications

(36 citation statements)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As such, the CCF determines for each checkpoint preceding an activity, whether the current state indicates a modification of one of the data elements covered by the checkpoint. If a modification is detected, the CCF triggers the Intervention Process Generator (IPG), which automatically generates an intervention process based on the current state of the process, as described in [2]. The intervention process restores the consistent state of a business process, by taking into account the characteristics of the business process in execution, the available compensation activities, and the properties that have to be fulfilled to recover from the erroneous situation.…”

Section: Run the Process With Monitoring At Checkpointsmentioning

confidence: 99%

“…As a consequence, data modifications by one process may affect one or more other concurrently executing processes, which may cause an undesired process outcome for one or more of these processes. This is referred to as process interference [1] [2].…”

Section: Introductionmentioning

confidence: 99%

“…wrong invoices, ordering new products with wrong customer data, etc.). There exist runtime solutions to resolve process interference, by on-the-fly automatic generation of an intervention process (IP) [2], which is triggered by an external data change; this process brings the original process back to a correct state, after the external data change. The execution thus continues with the intervention process, followed by resuming the execution of the original business process from the corrected state.…”

Section: Introductionmentioning

confidence: 99%

“…The generation method is orthogonal to our framework, and any such method may be used; here, we incorporate an algorithm based on automated planning from [2]. The newly generated intervention process is then treated similarly to the original process, with first determining monitoring checkpoints on-the-fly, then monitoring and correcting its own execution.…”

Section: Introductionmentioning

confidence: 99%

“…As such, a dynamic framework is required that is able to anticipate on any concurrent data change and any potential subsequent disturbance. An automated framework for recovering from interference is presented in [2], where intervention processes are introduced to finish the process in a consistent state. This framework, however, has only limited support for ensuring correctness of the intervention processes, as no external data changes are monitored other than the one that triggered the generation of that intervention process.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Continuous Correctness of Business Processes Against Process Interference

Beest

Bucur²

2013

2013 IEEE 6th International Conference on Service-Oriented Computing and Applications

View full text Add to dashboard Cite

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.

show abstract

Section: Run the Process With Monitoring At Checkpointsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Continuous Correctness of Business Processes Against Process Interference

Beest

Bucur²

2013

2013 IEEE 6th International Conference on Service-Oriented Computing and Applications

View full text Add to dashboard Cite

show abstract

An automatic self‐adaptation framework for service‐based process based on exception handling

Wang

Feng

Huang

et al. 2016

Concurrency and Computation

View full text Add to dashboard Cite

Summary For service‐based process, there is a frequent failure when it runs under a loose‐coupled and uncertain environment, such as mobile Internet. The runtime self‐adaptation mechanism is urgently needed to automatically achieve the goal of a process. Therefore, this article presents a self‐adaptation framework to automatically monitor and self‐adapt to various failures. On the basis of the presented self‐adaptation exceptions framework, the service‐based process is automatically extended with these exception definitions. In particular, the local self‐adaptation exceptions monitor the failures over each web service instance, whereas the global self‐adaptation exceptions are designed to explore the process‐level failures. For each exception, the self‐adaptation strategy is dynamically generated according to the running environment. Finally, we implement the prototype system running on the Apache ODE. The experimental results show that our framework can automatically recover a process instance from various failures, and the proposed approach can identify more failure types than previous works and apparently improve the running success rate of process instances.

show abstract

Self‐adaptation and distributed knowledge‐based service ecosystem evolution

Wang

Feng

Huang

et al. 2021

Concurrency and Computation

View full text Add to dashboard Cite

Web services (or Web APIs) on the Internet tends to encounter various unexpected runtime failures because of their dynamicity and distribution. Self-adaptation technologies for the service-based business process can effectively repair runtime failures and improve its success rate. However, the same failures may occur on subsequent invocations because relevant processes do not evolve after failures. This makes the response time of the business processes too long. We proposed a self-adaptation and distributed knowledge-based evolution model (SDKEM) to guarantee business processes' stabilities, that is, low failure rates and stable response time. SDKEM adopts a service knowledge base (SKB) to organize services from a provider and uses bridge rules to eliminate semantic conflicts among multiple distributed SKBs. It can automatically trigger the evolution of a service ecosystem through the designed self-adaptation mechanism. We adopt the "survival of the fittest" principle for crucial elements in the ecosystem during evolution so that ultimately, service-based processes and services with high stability remain. Experiments show that, with the developed evolution mechanism, runtime failures of business processes significantly reduce. In most cases, their response time and success rates are comparable to those under the running situation where no runtime failure occurs, meaning the runtime failures within a service-based process are automatically repaired.

show abstract

Automated runtime repair of business processes

Cited by 37 publications

References 44 publications

Continuous Correctness of Business Processes Against Process Interference

Continuous Correctness of Business Processes Against Process Interference

An automatic self‐adaptation framework for service‐based process based on exception handling

Self‐adaptation and distributed knowledge‐based service ecosystem evolution

Contact Info

Product

Resources

About