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
Web.1 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.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11) |
Publication date | 2011 |
Pages | 10-24 |
Publication status | Published - 2011 |
Event | International Workshop on Petri Nets and Software Engineering 2011 - Newcastle upon Tyne, United Kingdom Duration: 20 Jun 2011 → 21 Jun 2011 Conference number: 32/11 http://www.informatik.uni-hamburg.de/TGI/events/pnse11/ |
Workshop
Workshop | International Workshop on Petri Nets and Software Engineering 2011 |
---|---|
Number | 32/11 |
Country/Territory | United Kingdom |
City | Newcastle upon Tyne |
Period | 20/06/2011 → 21/06/2011 |
Other | A satellite event of Petri Nets 2011 and ACSD 2011 |
Internet address |