line

Formal Specification of Object-Oriented Meta-Modelling

Gunnar Övergaard
KTH

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. In this talk I will present the Boom framework, which 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. I will exemplify the usage of the framework by specifying some constructs defined in the Unified Modeling Language.


ASTEC seminar
November 14, 2000, 13:15

Place: Information technology, Uppsala University
Room: 1510
Time: 13.15

Room 1510 is in Building 1, Floor 5, room 10 (in the southern part of the building).

Help on how get here and MIC campus drawing.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 15.00.

line
Updated 06-Nov-2000 17:45 by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/Seminars/sem001114.shtml