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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Jonathan P. Bowen. “X: Why Z?”. Computer Graphics Forum, 11(4), October 1992.
Susan A. Dart. “The Past, Present and Future of Configuration Management”. Technical Report CMU/SEI-92TR-8, Carnegie-Mellon University, July 1992.
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.
Peter H. Feiler. “Configuration Management Models in Commercial Environments”. Technical Report CMU/SEI-91-TR-7, Carnegie-Mellon University, March 1991.
Michael W. Godfrey. “Visual Formalisms for Configuration Management”. In Proc. of GASCON '93, Toronto, October 1993.
David Garlan and Mary Shaw. “An Introduction to Software Architecture”. Advances in Software Engineering and Knowledge Engineering, 1, 1993.
David Harel. “Biting the Silver Bullet”. IEEE Computer, 25(1), January 1992.
Richard C. Holt. Turing Reference Manual. Holt Software Associates, Toronto, 1993.
Cliff B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990.
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.
Marc Moorcroft. “GUILT-A GUI Library for Turing”. Private circulation, 1993.
Carroll Morgan. Programming from Specifications. Prentice Hall International, 1990.
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.
Dewayne E. Perry and Alexander L. Wolf. “Foundations for the Study of Software Architectures”. ACM SIGSOFT Software Engineering Notes, 17(4), October 1992.
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.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Godfrey, M.W., Holt, R.C., Mancoridis, S. (1995). Prototyping a visual formalism for system modelling. In: Taylor, R.N., Coutaz, J. (eds) Software Engineering and Human-Computer Interaction. SE-HCI 1994. Lecture Notes in Computer Science, vol 896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035817
Download citation
DOI: https://doi.org/10.1007/BFb0035817
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59008-8
Online ISBN: 978-3-540-49173-6
eBook Packages: Springer Book Archive