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
