WestminsterResearch

Towards GCM re-configuration – extending specification by norm

Basso, Alessandro and Bolotov, Alexander (2008) Towards GCM re-configuration – extending specification by norm. In: Danelutto, Marco and Fragopoulou, Paraskevi and Getov, Vladimir, (eds.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece. Springer, New York, NY, USA, pp. 17-29. ISBN 9780387784472

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-0-387-78448-9_2

Abstract

We continue investigation of formal specification of Grid Component systems by temporal logics and subsequent application of temporal resolution as a verification technique. This time we enrich the specification language by the ability to capture norms which enables us to formally define a concept of a re-configuration. We aim at integrating a software tool for automated specification as well as verification to ensure a reliable and dynamically re-configurable model.

Item Type:Book Section
Uncontrolled Keywords:Formal specification, formal verification, verification tool, GIDE, deductive reasoning, model checking, deontic logic, re-configuration
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5674
Deposited On:22 Jan 2009 11:29
Last Modified:13 Oct 2009 16:51

Repository Staff Only: item control page