Metamorphic development of a GUI for configuration management
Abstract
Formal, visual approaches to system modelling are a promising research area of configuration management. A GUI-based widget for configuring software systems, called ConForm[1], has been designed, formally specified in the Z language, and a prototype is currently under construction. This paper briefly outlines the design of ConForm, and details experience gained in transforming the formal specification into a prototype.
References
[1]
{1} Michael W. Godfrey, "Visual Formalisms for Configuration Management", Proc. of CASCON '93, pp. 120-127, October 1993.
[2]
{2} David Harel, "On Visual Formalisms", Communications of the ACM, vol. 31, no. 5, May 1988.
[3]
{3} Richard C. Holt, Turing Reference Manual, Third Edition, Holt Software Associates, Toronto, 1993.
[4]
{4} David A. Penny, Richard C. Holt and Michael W. Godfrey, "Formal Specification in Metamorphic Programming", in S. Prehn and W. J. Toetenel (eds.), VDM '91: Formal Software Development Methods -- Proc. of the 4th International Symposium of VDM Europe, Springer-Verlag Lecture Notes in Computer Science no. 551, October 1991.
[5]
{5} J. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall International, 1989.
[6]
{6} Susan Stepney, Rosalind Barden and David Cooper (eds.), Object Orientation in Z, Springer-Verlag, Berlin, 1992.
Index Terms
- Metamorphic development of a GUI for configuration management
Recommendations
A GUI and testing tool for SOFL
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering ConferenceSOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, data flow diagrams, and VDM-SL. As a method it is a combination of a structured method and object-oriented method. We introduce a ...
Formal Models for Informal GUI Designs
Many different methods exist for the design and implementation of software systems. These methods may be fully formal, such as the use of formal specification languages and refinement processes, or they may be totally informal, such as jotting design ...
Comments
Information & Contributors
Information
Published In
October 1994
781 pages
Sponsors
- Industry Canada
- Natural Sciences and Engineering Research Council
- IBM Canada: IBM Canada
- NRC: National Research Council - Canada
Publisher
IBM Press
Publication History
Published: 31 October 1994
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 24 of 90 submissions, 27%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 170Total Downloads
- Downloads (Last 12 months)51
- Downloads (Last 6 weeks)12
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in