Design, Modelling and Analysis of a Workflow Reconfiguration

  1. Lookup NU author(s)
  2. Dr Manuel Mazzara
  3. Dr Anirban Bhattacharyya
Author(s)Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateFebruary 2011
Report Number1236
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 an asynchronous pi-calculus and Web-pi to model the 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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication