creators_name: Mazzara, Manuel creators_id: manuel.mazzara@newcastle.ac.uk type: conference_item datestamp: 2011-06-28 10:07:11 lastmod: 2011-06-28 10:07:11 metadata_visibility: show title: Design, Modelling and Analysis of a Workflow Reconfiguration ispublished: pub subjects: deploy_method_proof subjects: deploy_method_reqevo subjects: deploy_method_resil full_text_status: public pres_type: keynote abstract: This paper describes a case study involving the reconfiguration of 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. event_title: PNSE’11 – Petri Nets and Software Engineering event_type: workshop refereed: TRUE citation: Mazzara, Manuel Design, Modelling and Analysis of a Workflow Reconfiguration. In: PNSE’11 – Petri Nets and Software Engineering. document_url: http://deploy-eprints.ecs.soton.ac.uk/313/1/PNSE2011.pdf