?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Design%2C+Modelling+and+Analysis+of+a+Workflow+Reconfiguration&rft.creator=Mazzara%2C+Manuel+&rft.creator=Abouzaid%2C+Faisal+&rft.creator=Dragoni%2C+Nicola&rft.creator=Bhattacharyya%2C+Anirban+&rft.subject=Business&rft.subject=Requirements+and+evolution&rft.subject=Resilience&rft.description=This+paper+describes+a+case+study+involving+interference+be-%0D%0Atween+application+activities+and+reconfiguration+activities+in+an+office+workflow.+We+state+the+requirements+on+a+system+implementing+the+workflow+and+its+reconfiguration%2C+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%2C+we+evaluate+the+formalisms+for+their+suitability+for+the+modelling+and+analysis+of+dynamic+reconfiguration+of+dependable+systems.&rft.publisher=Newcastle+University&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F297%2F1%2FReconfiguration_of_Workflow.pdf&rft.identifier=++Mazzara%2C+Manuel++and+Abouzaid%2C+Faisal++and+Dragoni%2C+Nicola+and+Bhattacharyya%2C+Anirban++++Design%2C+Modelling+and+Analysis+of+a+Workflow+Reconfiguration.++Technical+Report.+Newcastle+University.+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F297%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>