@techreport{deploy297,
       booktitle = {COORDINATION 2011},
            type = {Technical Report},
           title = {Design, Modelling and Analysis of a Workflow Reconfiguration},
          author = {Manuel  Mazzara and Faisal  Abouzaid and Nicola Dragoni and Anirban  Bhattacharyya},
       publisher = {Newcastle University},
     institution = {Newcastle University},
             url = {http://deploy-eprints.ecs.soton.ac.uk/297/},
        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.}
}

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