State-based behavior specification for GCM systems
Alessandro Basso, Alexander Bolotov, Vladimir Getov · WestminsterResearch (University of Westminster) · 2009
This paper is in the area of automata-based formalisms of stateful systems. In particular, we have analyzed aspects of Grid systems which can be considered when developing a prototype for dynamic reconfiguration. We describe which parts of a Grid system can be utilized and translated into state-based formal specification, and how the subsequent deductive verification tests for the dynamic reconfiguration can be performed.