State-based behavior specification for GCM systems

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 5-6.

Full text not available from this repository.

Official URL: http://www.csc.liv.ac.uk/research/techreports/tr20...


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.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:7335
Deposited On:25 Jan 2010 15:06
Last Modified:25 Jan 2010 15:06

Repository Staff Only: item control page