Abstract
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e. the precise specification of the concepts used in a model, is of importance in order to avoid misunderstandings.
The Boom framework, presented in this paper, is intended for this kind of meta-modelling. The framework consists of a collection of modelling constructs specified with a small object-oriented language. The framework is simple enough for an engineer to adjust the modelling concepts to project specific needs. It includes all necessary aspects of language specification, among them definition of abstract syntax, well-formedness rules, and dynamic semantics. To demonstrate its use, this paper includes a specification of some of the constructs defined in the Unified Modeling Language.
Chapter PDF
Keywords
- Association Rule
- Modelling Language
- Abstract Syntax
- Language Construct
- Common Object Request Broker Architecture
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
G. Booch. Object-Oriented Design with Applications. Redwood City, 1991.
E.H. Dürr and J. van Katwijk. VDM++-A Formal Specification Language for Object-oriented Designs. In Computer Systems and Software Engineering. Proceedings of CompEuro’92, pages 214–219. IEEE Computer Society Press, 1992.
Electronic Industries Association, 2500 Wilson Blvd. Arlington, VA 22201. EIA/IS-107: CDIF / Framework for Modeling and Extensibility, 1997. http://www.eia.org/eig/cdif/how-to-obtain-standards.html.
International Telecommunication Union (ITU), Place des Nations, CH-1211 Geneva 20, Switzerland. Recommendation Z.100 (03/93)-CCITT specification and description language (SDL), 1993. http://www.itu.int/itudoc/itut/rec/z.html.
I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1993.
C. B. Jones. A pi-calculus Semantics for an Object-Based Design Notation. In E. Best, editor, CONCUR’93: 4th International Conference on Concurrency Theory Lecture Notes in Computer Science 715. Springer-Verlag, 1993.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I. Information and Computation, 100:1–40, 1992.
Meta Object Facility (MOF) Specification, September 1997. On-line documentation: http://www.omg.org/pub/docs/ad/97-08-⌌14,15⌍.pdf.
Object Management Group, Framingham Corporate Center, 492 Old Connecticut Path, Framingham MA 01701-4568. OMG Unified Modeling Language Specification, version 1.3, June 1999. http://www.omg.org/cgi-bin/doc?ad/99-06-08.
G. Övergaard. A Formal Approach to Relationships in the Unified Modeling Language. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Software Modeling Techniques, pages 91–108. Technische Universität, München, Germany, TUM-I9803, April 1998.
G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language. In R. France and B. Rumpe, editors, Proceedings of UML’99 — The Unified Modeling Language: Beyond the Standard, Lecture Notes in Computer Science 1723, pages 99–115. Springer-Verlag, 1999.
G. Övergaard and K. Palmkvist. A Formal Approach to Use cases and Their Relationships. In P.-A. Muller and J. Bézivin, editors, Proceedings of the Unified Modeling Language: UML’98: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.
A. Pope. The Corba Reference Guide: Understanding the Common Object Request Broker Architecture. Addison-Wesley, 1998.
T. Reenskaug, P. Wold, and O. A. Lehne. Working with Objects: The OOram Software Engineering Method. Manning Publications, 1996.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, 1991.
B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
S. Stepney, R. Barden, and D. Cooper. Object Orientation in Z. Springer-Verlag, 1992.
D. Walker. Objects in the π-Calculus. Information and Computation, 116:253–271, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Övergaard, G. (2000). Formal Specification of Object-Oriented Meta-modelling. In: Maibaum, T. (eds) Fundamental Approaches to Software Engineering. FASE 2000. Lecture Notes in Computer Science, vol 1783. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46428-X_14
Download citation
DOI: https://doi.org/10.1007/3-540-46428-X_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67261-6
Online ISBN: 978-3-540-46428-0
eBook Packages: Springer Book Archive