Toggle Main Menu Toggle Search

Open Access padlockePrints

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective

Lookup NU author(s): Dr Manuel Mazzara, Dr Anirban Bhattacharyya


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous pi -calculus and web-pi to modelthe design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The ultimate aim of this research is to identify strengths and weaknesses of formalisms for modelling dynamic reconfiguration and verifying requirements.

Publication metadata

Author(s): Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A

Publication type: Book Chapter

Publication status: In Press

Book Title: Web Services and Formal Methods

Year: 2012

Volume: 7176

Pages: 64-78

Series Title: Lecture Notes in Computer Science

Publisher: Springer-Verlag

Place Published: Berlin; New York