Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.
Official URL: http://www.coregrid.net/mambo/images/stories/Techn...
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|
|Deposited On:||21 Jan 2009 15:10|
|Last Modified:||11 Aug 2010 15:34|
Repository Staff Only: item control page