|DATE:||Wednesday, October 29th|
|TIME:||4:30 PM - 5:30 PM|
|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).