Metamodelling: state of the art and research challenges

J Sprinkle, B Rumpe, H Vangheluwe… - Proceedings of the 2007 …, 2007 - dl.acm.org
This chapter discusses the current state of the art, and emerging research challenges, for
metamodelling. In the state-of-the-art review on metamodelling, we review approaches …

Challenges and directions in formalizing the semantics of modeling languages

BR Bryant, J Gray, M Mernik, PJ Clarke, RB France… - 2011 - digitalcommons.fiu.edu
Develo** software from models is a growing practice and there exist many model-based
tools (eg, editors, interpreters, debuggers, and simulators) for supporting model-driven …

Graph and model transformation

H Ehrig, C Ermel, U Golas, F Hermann - Monographs in Theoretical …, 2015 - Springer
Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …

MOFLON: A standard-compliant metamodeling framework with graph transformations

C Amelunxen, A Königs, T Rötschke… - Model Driven Architecture …, 2006 - Springer
The crucial point in Model Driven Architecture (MDA) is that software and system
development are based on abstract models that are successively transformed into more …

Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation

R Bardohl, H Ehrig, J De Lara, G Taentzer - … , FASE 2004. Held as Part of …, 2004 - Springer
Visual languages (VLs) play a central role in modelling various system aspects. Besides
standard languages like UML, a variety of domain-specific languages exist which are the …

Defining visual notations and their manipulation through meta-modelling and graph transformation

J de Lara, H Vangheluwe - Journal of Visual Languages & Computing, 2004 - Elsevier
This paper presents a framework for the definition of visual notations (both syntax and
semantics) based on meta-modelling and graph transformation. With meta-modelling it is …

Translational semantics of a co-evolution specific language with the EMF transformation virtual machine

D Wagelaar, L Iovino, D Di Ruscio… - Theory and Practice of …, 2012 - Springer
Abstract Model-to-model transformations are often employed to establish translational
semantics of Domain-Specific Languages (DSLs) by map** high-level models into more …

Rewriting logic semantics and verification of model transformations

A Boronat, R Heckel, J Meseguer - … Conference, FASE 2009, Held as Part …, 2009 - Springer
Abstract Model transformations are used in model-driven development for mechanizing the
interoperability and integration among modeling languages. Due to the graph-theoretic …

[PDF][PDF] UML and colored petri nets integrated modeling and analysis approach using graph transformation

O Labbani - Journal of Object Technology, 2010 - jot.fm
Nowadays, UML is considered to be the standardized language for object-oriented
modeling and analysis. However, UML cannot be used for automatic analyses and …

Applying MDE to the (semi-) automatic development of model transformations

VA Bollati, JM Vara, A Jimenez, E Marcos - Information and Software …, 2013 - Elsevier
CONTEXT: Model transformations play a key role in any software development project
based on Model-Driven Engineering principles. However, despite the inherent complexity of …