WestminsterResearch

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
346Kb

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)
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5670
Deposited On:21 Jan 2009 15:10
Last Modified:11 Aug 2010 15:34

Repository Staff Only: item control page