State-based behavior specification for GCM systems

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: 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:


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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 25 Jan 2010 15:06
Last Modified: 25 Jan 2010 15:06

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)