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.
@article{arxiv.1405.0319,
title = {On Formalisms for Dynamic Reconfiguration of Dependable Systems},
author = {Anirban Bhattacharyya and Andrey Mokhov and Ken Pierce and Manuel Mazzara},
journal= {arXiv preprint arXiv:1405.0319},
year = {2014}
}