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.
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)|