McGill University - School of Computer Science

Algorithms Seminar 2003

Everybody is welcome!

DATE: Wednesday, October 29th
TIME: 4:30 PM - 5:30 PM
PLACE: McConnell 320
TITLE: Meta-modelling and graph grammars: foundations for domain-specific visual modelling environments
SPEAKER: Hans Vangheluwe, School of Computer Science, McGill University.

Engineering (for design) and Science (for analysis) invariably use models to describe structure as well as behaviour of systems. Models may have components described in different formalisms, and span different levels of abstraction. In addition, model transformation is often used to transform models into a domain/formalism where certain questions can be easily answered.

In meta-modelling, one explicitly models the syntax of modelling formalisms. This simplifies the construction of domain-specific formalisms (by slightly modifying existing meta-models). Above all, an appropriate meta-modelling tool will support synthesis of a domain-specific (visual) modelling tool from the meta-model.

Model transformations are important: to describe operational semantics of formalisms, to answer certain questions by transforming models into an appropriate formalism, to optimize the model wrt. some performance metric while preserving some properties, ... As at some level of abstraction, all models are graphs, one general way of explicitly modelling transformations is to use graph grammars. Furthermore, graph grammar models are an executable specification.

In this presentation, the above concepts will be introduced by means of AToM3 (A Tool for Multi-formalism and Meta Modelling).

Direct questions, comments, additions to and removals from the mailing list, and suggestions for speakers to us at beezer at 
Web Address: