Dynamic reconfiguration of GCM components

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.

[img]
Preview
PDF
Basso_Bolotov_Getov_Henrio_2008_As_Published.pdf

Download (354kB)
Official URL: http://www.coregrid.net/mambo/images/stories/Techn...

Abstract

We detail in this report past research and current/future developments in formal specification of Grid component systems by temporal logic and consequent resolution technique, for an automated dynamic reconfiguration of components. It is analysed the specification procedure of GCM (Grid Component Model) components and infrastructure in respect to their state behaviour, and the verification process in a dynamic and reconfigurable distributed system. Furthermore it is demonstrated how an automata based method is used to achieve the specification, as well as how the enrichment of the temporal specification language of Computation Tree Logic CTL with the ability to capture norms, allows to formally define the concept of reconfiguration.

Item Type: Monograph (Technical Report)
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 21 Jan 2009 15:10
Last Modified: 11 Aug 2010 14:34
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/5670

Actions (login required)

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