On Formalisms for Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara
TL;DR
This paper evaluates three formal methods—VDM, Maude, and CCSdp—for modeling and verifying dynamic reconfiguration in dependable systems, using a case study of office workflow reconfiguration.
Contribution
It provides an initial comparative analysis of formalisms for dynamic reconfiguration, highlighting their suitability for modeling and verification tasks.
Findings
Initial results indicate varying effectiveness of the formalisms.
The case study demonstrates practical applicability.
Further research is ongoing.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Formal Methods in Verification · Model-Driven Software Engineering Techniques