Specification and verification of reconfiguration protocols in grid component systems

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. In: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006). IEEE, Los Alamitos, USA, pp. 450-455. ISBN 1424401968


Download (7MB)
Official URL: http://dx.doi.org/10.1109/IS.2006.348461


In this work we present an approach for the formal specification and verification of the reconfiguration protocols in Grid component systems. We consider Fractal, a modular and extensible component model. As a specification tool we invoke a specific temporal language, separated clausal normal form, which has been shown to be capable of expressing any ECTL+ expression thus, we are able to express the complex fairness properties of a component system. The structure of the normal enables us to directly apply the deductive verification technique, temporal resolution defined in the framework of branching-time temporal logic.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 19 Jun 2006
Last Modified: 11 Aug 2010 14:30
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/2131

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)