WestminsterResearch

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

[img]
Preview
PDF
7Mb

Official URL: http://dx.doi.org/10.1109/IS.2006.348461

Abstract

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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:2131
Deposited On:19 Jun 2006
Last Modified:11 Aug 2010 15:30

Repository Staff Only: item control page