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 9780387784472Full text not available from this repository.
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)|