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

  1. Lookup NU author(s)
  2. Dr Anirban Bhattacharyya
  3. Professor John Fitzgerald
  4. Dr Manuel Mazzara
Author(s)Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Legacy DateJuly 2011
Report Number1265
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication