HeaderLogo-ssc8-v5

Abstract 1015

Towards Ensuring Correct Dynamic Adaptation of Workflows

Budoor Allehyani and Stephan Reiff-Marganiec {baaa2, srm13} @le.ac.uk

Department of Computer Science, University of Leicester University Road Leicester LE1 7RH United Kingdom

 Abstract

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 operation – however current business process systems are based on executing statically defined workflows, which do not naturally allow handling of emergent needs. In this work we are developing mechanisms to allow for dynamic adaptation of workflows and specifically consider assurances that the derived workflow still achieves the main aims of the original. Specifically, these mechanisms are (1) self-adaptive workflows based on policies and (2) self-managed adaptation based on refinement checking of an underlying formal model. The formal model, developed using the process algebra CSP, allows for checking correctness of desired adaptations at system runtime and when the adaptation is being attempted. In this paper we present the overview of our approach.

Keywords:

Self-adaptive workflows, business process, change management, policy, refinement.

800x600

1st Author Name

Jeehan Almamy

Brunel University

This email address is being protected from spambots. You need JavaScript enabled to view it.

07588227767

2nd Author Name

John Aston

Brunel University

This email address is being protected from spambots. You need JavaScript enabled to view it.

01895 265230

3rd Author Name

Leonard Ngwa N

University of Wales, Trinity Saint David.

This email address is being protected from spambots. You need JavaScript enabled to view it.

07943752828

Normal 0 false false false EN-GB X-NONE AR-SA MicrosoftInternetExplorer4