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...
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.
Actions (login required)
Downloads per month over past year