Towards GCM re-configuration – extending specification by norm

Basso, Alessandro and Bolotov, Alexander (2008) Towards GCM re-configuration – extending specification by norm. In: 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:


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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 22 Jan 2009 11:29
Last Modified: 13 Oct 2009 15:51

Actions (login required)

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