Behavioural model of component-based Grid environments

Basso, Alessandro, 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 9780387094540

Full text not available from this repository.
Official URL:


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) Edit Item (Repository staff only)