On Formalisms for Dynamic Reconfiguration of Dependable Systems
Abstract
Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2014
- DOI:
- 10.48550/arXiv.1405.0319
- arXiv:
- arXiv:1405.0319
- Bibcode:
- 2014arXiv1405.0319B
- Keywords:
-
- Computer Science - Software Engineering
- E-Print:
- EDCC-2014, Fast-Abstracts