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.
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|
|Date Deposited:||18 Jul 2011 16:15|
|Last Modified:||08 May 2013 08:38|
Actions (login required)
Downloads per month over past year