title: Design, Modelling and Analysis of a Workflow Reconfiguration
creator: Mazzara, Manuel 
creator: Abouzaid, Faisal 
creator: Dragoni, Nicola
creator: Bhattacharyya, Anirban 
subject: Business
subject: Requirements and evolution
subject: Resilience
description: This paper describes a case study involving interference be-  tween 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 Webpi 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.
publisher: Newcastle University
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/297/1/Reconfiguration_of_Workflow.pdf
identifier:   Mazzara, Manuel  and Abouzaid, Faisal  and Dragoni, Nicola and Bhattacharyya, Anirban    Design, Modelling and Analysis of a Workflow Reconfiguration.  Technical Report. Newcastle University.     
relation: http://deploy-eprints.ecs.soton.ac.uk/297/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>