Prototyping a visual formalism for system modelling

  • Michael W. Godfrey
  • Richard C. Holt
  • Spiros Mancoridis
Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 896)

Abstract

Formal, visual approaches to system modelling are a promising research sub-area of configuration management. A visual notation for configuring software systems, called ConForm [God93], has been designed, formally specified in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal specification into a prototype.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Michael W. Godfrey
    • 1
  • Richard C. Holt
    • 1
  • Spiros Mancoridis
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations