Specifying Software Specification & Design Methods

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.

[1]  Alan M. Davis,et al.  Requirements engineering metamodel: An integrated view of requirements , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[2]  Takuya Katayama,et al.  A hierarchical and functional software process description and its enaction , 1989, ICSE '89.

[3]  Klaus Kronlöf,et al.  Method integration: concepts and case studies , 1993 .

[4]  Kalle Lyytinen,et al.  MetaEdit - A Flexible Graphical Environment for Methodology Modelling , 1991, CAiSE.

[5]  Albert Alderson,et al.  Meta-CASE Technology , 1991, Software Development Environments and CASE Technology.

[6]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[7]  S. Shlaer,et al.  An object-oriented approach to domain analysis , 1989, SOEN.

[8]  David R. Cheriton,et al.  Amaze: A Multiplayer Computer Game , 1985, IEEE Software.

[9]  Masanori Shinohara,et al.  A Meta-Model for Representing Software Specification & Design Methods , 1993, Information System Development Process.

[10]  Paul G. Sorenson,et al.  The Metaview system for many specification environments , 1988, IEEE Software.

[11]  J. N. Brinkkemper,et al.  Formalisation of information systems modelling , 1990 .

[12]  S. Brinkkemper,et al.  Integrating diagrams in CASE tools through modelling transparency , 1993, Inf. Softw. Technol..

[13]  Mike Brough.  Methods for CASE: A Generic Framework , 1992, CAiSE.

[14]  Sjaak Brinkkemper,et al.  A Method Engineering Approach to Information Systems Development , 1993, Information System Development Process.

[15]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .