Diagrammatic Formal Specification of a Configuration Control Platform

Citations of this article
Mendeley users who have this article in their library.


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. © 2009 Elsevier B.V. All rights reserved.




Howse, J., Schuman, S., Stapleton, G., & Oliver, I. (2009). Diagrammatic Formal Specification of a Configuration Control Platform. Electronic Notes in Theoretical Computer Science, 259(C), 87–104. https://doi.org/10.1016/j.entcs.2009.12.019

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free