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
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|
|Deposited On:||22 Jan 2009 11:29|
|Last Modified:||13 Oct 2009 16:51|
Repository Staff Only: item control page