Narrow Results

Business environments are complex and evolve dynamically to react to environmental or contextual changes. Nowadays, many businesses use business processes to describe and automate their operations. However, current business process systems are based on executing statically defined workflows, which do not naturally allow the handling of emergent needs. In this work we are developing mechanisms to allow for a dynamic adaptation of workflows, and consider assurances that the derived workflows still achieve the main aims of the originals. Specifically, these mechanisms are self-adaptive workflows, based on policies, and self-managed adaptations, based on the refinement checking of an underlying formal model. The formal model, developed using the process algebra known as communicating sequential processes (CSP), allows for checking the correctness of desired adaptations at system runtime and when the adaptation is being attempted. In this paper we present the overview of our approach.