Files:DescriptionFile size FormatBrowse
Fulltext0.38 MBPDF (requires Acrobat Reader)Next
Authors:Hans Vangheluwe: School of Computer Science, McGill University, Montr´eal, Canada
Publication title:Multi-Paradigm Language Engineering and Equation-Based Object-Oriented Languages
Conference:Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
Publication type: Abstract and Fulltext
Article No.:001
Abstract:Models are invariably used in Engineering (for design) and Science (for analysis) to precisely describe structure as well as behaviour of systems.Models may have components described in different formalisms; and may span different levels of abstraction. In addition; models are frequently transformed into domains/formalisms where certain questions can be easily answered. We introduce the term “multiparadigm modelling” to denote the interplay between multi-abstraction modelling; multi-formalism modelling and the modelling of model transformations.

The foundations of multi-paradigm modelling will be presented. It will be shown how all aspects of multiparadigm modelling can be explicitly (meta-)modeled enabling the efficient synthesis of (possibly domain-specific) multi-paradigm (visual) modelling environments.We have implemented our ideas in the tool AToM3 (A Tool for Multi-formalism and Meta Modelling) [3].

Over the last decade; Equation-based Object-Oriented Languages (EOOLs) have proven to bring modelling closer to the problem domain; away from the details of numerical simulation of models. Thanks to Object-Oriented structuring and encapsulation constructs; meaningful exchange and re-use of models is greatly enhanced.

Different directions of future research; combiningmultiparadigm modelling concepts and techniques will be explored:

1. meta-modelling and model transformation for domainspecific modelling as a layer on top of EOOLs;

2. on the one hand; the use of Triple Graph Grammars (TGGs) to declaratively specify consistency relationships between different models (views). On the other hand; the use of EOOLs to complement Triple Graph Grammars (TGGs) in an attempt to come up with a fully “declarative” description of consistency between models to support co-evolution of models;

3. the use of graph transformation languages describing structural change to modularly “weave in” variable structure into non-dynamic-structure modelling languages.

Keywords:Multi-Paradigm Modelling; Meta-Modelling; Model Transformation; Equation-Based Object-Oriented Languages; Consistency; Variable Structure
No. of pages:4
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
Publisher:Linköping University Electronic Press; Linköpings universitet

Hans Vangheluwe (2008). Multi-Paradigm Language Engineering and Equation-Based Object-Oriented Languages, Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools;article=001 (accessed 2/6/2016)