[图书][B] Some tools
This chapter describes some existing Maude-based tools that are available for download.
The first section describes tools concerned with analysis of either Maude specifications, or of …
The first section describes tools concerned with analysis of either Maude specifications, or of …
Graphical definition of in-place transformations in the eclipse modeling framework
E Biermann, K Ehrig, C Köhler, G Kuhns… - … Languages and Systems …, 2006 - Springer
Abstract The Eclipse Modeling Framework (EMF) provides a modeling and code generation
framework for Eclipse applications based on structured data models. Although EMF provides …
framework for Eclipse applications based on structured data models. Although EMF provides …
Implementing QVT-R bidirectional model transformations using Alloy
Abstract QVT Relations (QVT-R) is the standard language proposed by the OMG to specify
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
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 …
Engineering model transformations with transML
Abstract Model transformation is one of the pillars of model-driven engineering (MDE). The
increasing complexity of systems and modelling languages has dramatically raised the …
increasing complexity of systems and modelling languages has dramatically raised the …
Least-change bidirectional model transformation with QVT-R and ATL
Abstract QVT Relations (QVT-R) is the standard language proposed by the OMG to specify
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
[PDF][PDF] Formal and Tool Support for Model Driven Engineering with Maude.
Models and metamodels play a cornerstone role in Model-Driven Software Development.
Although several notations have been proposed to specify them, the kind of formal and tool …
Although several notations have been proposed to specify them, the kind of formal and tool …
Module superimposition: a composition technique for rule-based model transformation languages
D Wagelaar, R Van Der Straeten… - Software & Systems …, 2010 - Springer
As the application of model transformation becomes increasingly commonplace, the focus is
shifting from model transformation languages to the model transformations themselves. The …
shifting from model transformation languages to the model transformations themselves. The …
Specification-driven model transformation testing
Testing model transformations poses several challenges, among them the automatic
generation of appropriate input test models and the specification of oracle functions. Most …
generation of appropriate input test models and the specification of oracle functions. Most …
An algebraic semantics for MOF
A Boronat, J Meseguer - … : 11th International Conference, FASE 2008, Held …, 2008 - Springer
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 …