Formal Specification of Object-Oriented Meta-Modelling
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.
Place: Information technology, Uppsala University
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.
Updated 06-Nov-2000 17:45 by Roland Grönroos
e-mail: info -at- astec.uu.se