Business processes have been used extensively to describe how a business achieves its goals; more recently they have also been used embedded into workflow or business process engines to drive the processes. However, business procedures and demands change and consequently the processes need to be adapted. We are building on mechanisms to change processes at runtime and investigate the important aspect of ensuring that the process remains true to its original goal. In this paper we outline our framework and focus on the formal assurance of the goal.
['Budoor Allehyani', 'Stephan Reiff-Marganiec']
Maintaining Goals of Business Processes during Runtime Reconfigurations