Diagrammatic formal specification of a configuration control platform

HOWSE, JOHN, Schuman, Steve, STAPLETON, GEM and Oliver, Ian (2009) Diagrammatic formal specification of a configuration control platform In: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009), Eindhoven, The Netherlands, 3 November, 2009.

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/S...

Abstract

This paper presents a diagrammatic logic framework that is suitable for use in formal specification and for reasoning about and refining formal software models. We take a case study style approach to presenting the framework by developing, in some detail, an abstract model for a transparent configuration control platform. The model is built up by stages, corresponding to separate concerns of configuration control. Each successive level is a refinement of the previous level. We discuss the possibilities for developing tools to support the use of the diagrammatic logic, including automated diagram drawing and reasoning procedures. Our wider goal is to make a formal specification easier for its clients to understand.

Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Uncontrolled Keywords:configuration control case-study; constraint diagrams; object-oriented formal specification; visual modeling; visual refinement
Subjects:G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource):10.1016/j.entcs.2009.12.019
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:8969
Deposited By:Converis
Deposited On:18 Jul 2011 17:15
Last Modified:08 May 2013 09:38

Repository Staff Only: item control page