Diagrammatic formal specification of a configuration control platform

John Howse, Steve Schuman, Gem Stapleton, Ian Oliver

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

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.
Original languageEnglish
Title of host publicationProceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009)
Place of PublicationAmsterdam, The Netherlands
PublisherElsevier
Pages87-104
Number of pages18
Volume259
DOIs
Publication statusPublished - 1 Jan 2009
EventProceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009) - Eindhoven, The Netherlands, 3 November, 2009
Duration: 1 Jan 2009 → …

Publication series

NameElectronic Notes in Theoretical Computer Science (ENTCS)

Workshop

WorkshopProceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009)
Period1/01/09 → …

Keywords

  • configuration control case-study
  • constraint diagrams
  • object-oriented formal specification
  • visual modeling
  • visual refinement

Fingerprint Dive into the research topics of 'Diagrammatic formal specification of a configuration control platform'. Together they form a unique fingerprint.

Cite this