---
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\r\nthe requirements. In the process, we evaluate the formalisms for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - manuel.mazzara@newcastle.ac.uk
creators_name:
  - family: Mazzara
    given: Manuel
    honourific: ''
    lineage: ''
data_type: ~
date: ~
date_type: ~
datestamp: 2011-06-28 10:07:11
department: ~
dir: disk0/00/00/03/13
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 313
event_dates: ~
event_location: ~
event_title: PNSE’11 – Petri Nets and Software Engineering
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/313/1/PNSE2011.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-06-28 10:07:11
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: keynote
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 23
series: ~
skill_areas: []
source: ~
status_changed: 2011-06-28 10:07:11
subjects:
  - deploy_method_proof
  - deploy_method_reqevo
  - deploy_method_resil
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: 'Design, Modelling and Analysis of a Workflow Reconfiguration'
type: conference_item
userid: 217
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>