On Formalisms for Dynamic Reconfiguration of Dependable Systems
classification
💻 cs.SE
keywords
dynamicreconfigurationformalismsbasiccaseccsdpdependabledifferent
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.