Basso, Alessandro, Bolotov, Alexander, Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.
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|
Actions (login required)
|Edit Item (Repository staff only)|