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)


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.


Specification Language Configuration Management Visual Notation Underlie Data Structure Abstract Data Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bow92]
    Jonathan P. Bowen. “X: Why Z?”. Computer Graphics Forum, 11(4), October 1992.Google Scholar
  2. [Dar92]
    Susan A. Dart. “The Past, Present and Future of Configuration Management”. Technical Report CMU/SEI-92TR-8, Carnegie-Mellon University, July 1992.Google Scholar
  3. [DK76]
    Frank DeRemer and Hans H. Kron. “Programming-in-the-Large Versus Programming-in-the-Small”. IEEE Trans. on Software Engineering, SE-2(2), June 1976.Google Scholar
  4. [Fei91]
    Peter H. Feiler. “Configuration Management Models in Commercial Environments”. Technical Report CMU/SEI-91-TR-7, Carnegie-Mellon University, March 1991.Google Scholar
  5. [God93]
    Michael W. Godfrey. “Visual Formalisms for Configuration Management”. In Proc. of GASCON '93, Toronto, October 1993.Google Scholar
  6. [GS93]
    David Garlan and Mary Shaw. “An Introduction to Software Architecture”. Advances in Software Engineering and Knowledge Engineering, 1, 1993.Google Scholar
  7. [Har92]
    David Harel. “Biting the Silver Bullet”. IEEE Computer, 25(1), January 1992.Google Scholar
  8. [Hol93]
    Richard C. Holt. Turing Reference Manual. Holt Software Associates, Toronto, 1993.Google Scholar
  9. [Jon90]
    Cliff B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990.Google Scholar
  10. [MHG94]
    Spiros Mancoridis, Richard C. Holt, and Michael W. Godfrey. “Tools for Software Engineering Education”. In Proc. of the ICSE-16 Workshop on Software Engineering Education, Sorrento, Italy, April 1994. Proceedings published as Technical Report 94/6, Dept. of Computing, Imperial College, London, June 1994.Google Scholar
  11. [Moo93]
    Marc Moorcroft. “GUILT-A GUI Library for Turing”. Private circulation, 1993.Google Scholar
  12. [Mor90]
    Carroll Morgan. Programming from Specifications. Prentice Hall International, 1990.Google Scholar
  13. [PHG91]
    David A. Penny, Richard C. Holt, and Michael W. Godfrey. “Formal Specification in Metamorphic Programming”. In S. Prehn and W. J. Toetenel, editors, VDM '91: Formal Software Development Methods-Proc. of the 4th International Symposium of VDM Europe, October 1991. Proceedings published as Springer-Verlag Lecture Notes in Computer Science no. 551.Google Scholar
  14. [PW92]
    Dewayne E. Perry and Alexander L. Wolf. “Foundations for the Study of Software Architectures”. ACM SIGSOFT Software Engineering Notes, 17(4), October 1992.Google Scholar
  15. [SAP89]
    Robert W. Schwanke, R. Z. Altucher, and M. A. Platoff. “Discovering, Visualizing, and Controlling Software Structure”. In Proc. of the Fifth International Workshop on Software Specification and Design, Pittsburgh, May 1989.Google Scholar
  16. [Spi92]
    J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 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