Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On bisimulations of the asynchronous &pgr;-calculus
Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
An overview of reconfigurable hardware in embedded systems
EURASIP Journal on Embedded Systems
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
DEPEND '10 Proceedings of the 2010 Third International Conference on Dependability
A formal semantics for the WS-BPEL recovery framework: the π-calculus way
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modelling and analysis of dynamic reconfiguration in BP-Calculus
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
| Hi-index | 0.00 |
This paper describes a case study involving the dynamic 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 π -calculus and Webπ ∞ 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. The ultimate aim of this research is to identify strengths and weaknesses of formalisms for modelling dynamic reconfiguration and verifying requirements.