Toggle Main Menu Toggle Search

Open Access padlockePrints

A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation

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



This paper describes a case study involving interference between application activities and reconfiguration activities in 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 a number of computational formalisms of different kinds, including VDM and an asynchronous pi-calculus, to model the design and 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. We include in the evaluation, two process algebras we have been developing, namely, Webpi and CCSdp. Finally, we give an implementation of the system in BPEL.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 58

Print publication date: 01/07/2011

Source Publication Date: July 2011

Report Number: 1265

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne