Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Behavioural model of component-based Grid environments. In: Priol, Thierry and Vanneschi, Marco, (eds.) From grids to service and pervasive computing. Springer, pp. 19-30. ISBN 9780387094540
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-0-387-09455-7_2
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|
|Research Community:||University of Westminster > Electronics and Computer Science, School of|
|Deposited On:||21 Jan 2009 10:25|
|Last Modified:||13 Oct 2009 16:54|
Repository Staff Only: item control page