---
abstract: "This paper describes a case study involving interference be-\r\ntween 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."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Mazzara
    given: 'Manuel '
    honourific: ''
    lineage: ''
  - family: Abouzaid
    given: 'Faisal '
    honourific: ''
    lineage: ''
  - family: Dragoni
    given: Nicola
    honourific: ''
    lineage: ''
  - family: Bhattacharyya
    given: 'Anirban '
    honourific: ''
    lineage: ''
data_type: ~
date: ~
date_type: ~
datestamp: 2011-03-10 21:29:42
department: School of Computing Science
dir: disk0/00/00/02/97
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 297
event_dates: ~
event_location: ~
event_title: COORDINATION 2011
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/297/1/Reconfiguration_of_Workflow.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: Newcastle University
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-04-05 15:08:50
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: technical_report
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: Newcastle University
refereed: FALSE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 34
series: ~
skill_areas: []
source: ~
status_changed: 2011-03-10 21:31:49
subjects:
  - deploy_industrial_bus
  - 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: monograph
userid: 217
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>