Survey and classification of model transformation tools
Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …
number of model transformation languages and tools have been proposed over the last few …
On the definition and design-time analysis of process performance indicators
A key aspect in any process-oriented organisation is the evaluation of process performance
for the achievement of its strategic and operational goals. Process Performance Indicators …
for the achievement of its strategic and operational goals. Process Performance Indicators …
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 …
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …
model transformations in order to enable their verification and analysis. For this purpose we …
Comprehensive explanation of SLA violations at runtime
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between
service-based systems consumers and providers. Since the violation of such SLAs may …
service-based systems consumers and providers. Since the violation of such SLAs may …
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 …
ProMoBox: a framework for generating domain-specific property languages
Specifying and verifying properties of the modelled system has been mostly neglected by
domain-specific modelling (DSM) approaches. At best, this is only partially supported by …
domain-specific modelling (DSM) approaches. At best, this is only partially supported by …
[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 graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone role in Model-Driven Software
Development for representing models and metamodels. DSLs' abstract syntax are usually …
Development for representing models and metamodels. DSLs' abstract syntax are usually …