WestminsterResearch

Behavioural model of component-based Grid environments

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

Abstract

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
ID Code:5664
Deposited On:21 Jan 2009 10:25
Last Modified:13 Oct 2009 16:54

Repository Staff Only: item control page