Challenges and directions in formalizing the semantics of modeling languages
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 …
tools (eg, editors, interpreters, debuggers, and simulators) for supporting model-driven …
Model transformation intents and their properties
The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …
transformation. In this paper, a framework for the description of model transformation intents …
Graph Transformation for Software Engineers
The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …
opportunities but also creating challenges and risks. More tasks will be automated using …
Formal specification and analysis of domain specific models using Maude
Modeling languages play a cornerstone role in model-driven software development for
representing models and metamodels. Modeling languages are usually defined in terms of …
representing models and metamodels. Modeling languages are usually defined in terms of …
Essay on semantics definition in MDE. An instrumented approach for model verification
In the context of MDE (Model-Driven Engineering), our objective is to define the semantics
for a given DSL (Domain Specific Language) either to simulate its models or to check …
for a given DSL (Domain Specific Language) either to simulate its models or to check …
Multimodal interaction: a survey from model driven engineering and mobile perspectives
The multimodal interaction is becoming richer in last years thanks to the increasing evolution
of mobile devices (smartphones/tablets) and their embedded sensors including …
of mobile devices (smartphones/tablets) and their embedded sensors including …
[PDF][PDF] A Catalog of Design Patterns for Compositional Language Engineering.
F Drux, N Jansen, B Rumpe - J. Object Technol., 2022 - jot.fm
When composing a domain-specific language from several language components, it is also
necessary to compose analysis and synthesis techniques, which are individually defined on …
necessary to compose analysis and synthesis techniques, which are individually defined on …
[PDF][PDF] Orchestrating ATL model transformations
JE Rivera, D Ruiz-Gonzalez, F Lopez-Romero… - Proc. of MtATL, 2009 - lcc.uma.es
The design and development of any complex applications using a Model-driven
Engineering approach involve not only the use of many models, but also the use of many …
Engineering approach involve not only the use of many models, but also the use of many …
A design pattern to build executable DSMLs and associated V&V tools
B Combemale, X Crégut… - 2012 19th Asia-Pacific …, 2012 - ieeexplore.ieee.org
Model executability is now a key concern in model-driven engineering, mainly to support
early validation and verification (V&V). Some approaches allow to weave executability into …
early validation and verification (V&V). Some approaches allow to weave executability into …
An algebraic semantics for MOF
Abstract Model-driven development is a field within software engineering in which software
artifacts are represented as models in order to improve productivity, quality, and cost …
artifacts are represented as models in order to improve productivity, quality, and cost …