Paper Info
Title
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.
Year
Venue
Field
2014
arXiv: Software Engineering
Order processing,Software reconfiguration,Systems engineering,Software engineering,Computer science,Workflow,Rotation formalisms in three dimensions,Control reconfiguration
DocType
Volume
Citations 
Journal
abs/1405.0319
0
PageRank 
References 
Authors
0.34
11
4
Name
Order
Citations
PageRank
Anirban Bhattacharyya1425.31
Andrey Mokhov213626.57
Ken Pierce3485.05
Manuel Mazzara449364.05