creators_name: Mazzara, Manuel creators_name: Abouzaid, Faisal creators_name: Dragoni, Nicola creators_name: Bhattacharyya, Anirban type: monograph datestamp: 2011-03-10 21:29:42 lastmod: 2011-04-05 15:08:50 metadata_visibility: show title: Design, Modelling and Analysis of a Workflow Reconfiguration ispublished: pub subjects: deploy_industrial_bus subjects: deploy_method_reqevo subjects: deploy_method_resil full_text_status: public monograph_type: technical_report pres_type: paper abstract: 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 event_title: COORDINATION 2011 event_type: conference institution: Newcastle University department: School of Computing Science refereed: FALSE citation: Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban Design, Modelling and Analysis of a Workflow Reconfiguration. Technical Report. Newcastle University. document_url: http://deploy-eprints.ecs.soton.ac.uk/297/1/Reconfiguration_of_Workflow.pdf