Abstract
To support customizing and integrating software specification & design methods to a suitable method for designers' problem domain and environment, so-called Computer Aided Method Engineering (CAME), we need a meta model for representing the fragments of methods formally and for composing them into a method. This paper discusses a meta modelling technique by using a formal specification language Object-Z which is an object oriented version of the Z language. The logical expressions of Object-Z allows us to describe hierarchical structures and the constraints in the methods and the inheritance mechanism enables us to integrate method fragments into a new method.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
A. Alderson. Meta-CASE Technology. In Lecture Notes in Computer Science 509, pages 81–91, 1992.
S. Brinkkemper. Formalisation of Information Systems Modelling. Thesis Publisher, 1990.
S. Brinkkemper. Integrating Diagrams in CASE Tools through Modelling Transparency. Information and Software Technology, 35(2):101–105, 1993.
M. Brough. Methods for CASE: a Generic Framework. In Proc. of 4th International Conference CAiSE92, LNCS 593, pages 525–545, 1992.
T. DeMarco. Structured Analysis and System Specification. Yourdon Press, 1978.
R. Duke, P. King, R. Rose, and G. Smith. The Object-Z Specification Language. Technical Report 91-1, Software Verification Center, University of Queensland, 1991.
A.K. Jordan and A.M. Davis. Requirements Engineering Metamodel: An Integrated View of Requirements. In Proc. of 15th COMPSAC, pages 472–478, 1991.
T. Katayama. A Hierarchical and Functional Software Process Description and its Enaction. In Proc. of the 11th ICSE, pages 343–352, 1989.
D.E. Knuth. Semantics of Context-free Languages. Mathematical Systems Theory, 2:127–145, 1968.
K. Kronlöf, editor. Method Integration — Concepts and Case Studies. Wiley, 1993.
M. Saeki, K. Iguchi, K. Wen-yin, and M. Shinohara. A Meta-Model for Representing Software Specification & Design Methods. In Information System Development Process, pages 149–166. North-Holland, 1993.
S. Shlaer and S.J. Mellor. An Object-Oriented Approach to Domain Analysis. ACM SIGSOFT Software Engineering Notes, 14(5):66–77, 1989.
K. Slooten and S. Brinkkemper. A Method Engineering Approach to Information Systems Development. In Information System, Development Process, pages 167–186. North-Holland, 1993.
K. Smolander, K. Lyytinen, V.P. Tahvanainen, and P. Marttiin. MetaEdit — A Flexible Graphical Environment for Methodology Modelling. In Proc. of 3rd International Conference CAiSE91, LNCS 498, pages 168–193, 1991.
P. Sorenson, J. Tremblay, and A. McAllister. The Metaview System for Many Specification Environments. IEEE Software, 2(5):30–38, 1988.
J.M. Spivey. The Z Notation — A Reference Manual. Prentice Hall, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saeki, M., Wenyin, K. (1994). Specifying software specification & design methods. In: Wijers, G., Brinkkemper, S., Wasserman, T. (eds) Advanced Information Systems Engineering. CAiSE 1994. Lecture Notes in Computer Science, vol 811. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58113-8_182
Download citation
DOI: https://doi.org/10.1007/3-540-58113-8_182
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58113-0
Online ISBN: 978-3-540-48459-2
eBook Packages: Springer Book Archive