Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Behavioural model of component-based Grid environments. In: From grids to service and pervasive computing. Springer, pp. 19-30. ISBN 9780387094540Full text not available from this repository.
In component-based Grid environments, we analyse the problem of formal specification of their behaviour by introducing an automata-based model. We show how to construct this new framework from the analysis of states of components and how to apply it to a reconfiguration scenario in a dynamic distributed system environment. We aim at building a framework for future integration of these developments in a software tool for runtime automated specification and verifi-cation, ensuring a reliable dynamically reconfigurable component model.
|Item Type:||Book Section|
|Uncontrolled Keywords:||GCM, Grid IDE, reconfiguration, temporal deontic specification, dynamic verification|
|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 10:25|
|Last Modified:||13 Oct 2009 15:54|
Actions (login required)
|Edit Item (Repository staff only)|