Site Sponsor
Go WordPress
Site Sponsor
Category Archives: transformations
Lazy ATL: on-demand transformation execution
Salvador Martínez is back again with new ATL developments, this time explaining the new Lazy ATL model (presented at the MoDELS 2011 conference, download the unedited version of the paper). The increasing adoption of Model-Driven Engineering in industrial contexts highlights scalability as a critical limitation of several MDE tools. When these tools are built around
Towards a General Composition Semantics for Rule-Based Model Transformation
As model transformations have become an integral part of the automated software engineering lifecycle, reuse, modularisation, and composition of model transformations becomes important. One way to compose model transformations is to compose modules of transformation rules, and execute the composition as one transformation (internal composition). This kind of composition can provide fine-grained semantics, as it
MoScript – a textual DSL for querying and manipulating model repositories
Today, Wolfgang Kling talks about MoScript, a new textual DSL to write model manipulation scripts. This work has been done in collaboration with Frédéric Jouault, Dennis Wagelaar, Marco Brambilla and myself and recently presented at the SLE’11 conference (click here to get the full paper). Enter Wolfgang: In this post we are going to present
Improved ATL support for UML profiles
Salva talks about ATL4Pros, a slight ATL extension to facilitate the transformation of models annotated with UML profiles (btw, if you are interested in applying profiles to general EMF models, see this other work). The concept of UML profiles serves as a lightweight extension mechanism for UML. Arbitrary stereotypes and tagged values can be defined
Virtual EMF – Transparent Composition, Weaving and Linking of Models
Check our EclipseCon Proposal about our brand new tool: Virtual EMF – Transparent Composition, Weaving and Linking of Models This is the description of the proposal (please comment/vote for the proposal!): When using the Eclipse Modeling Framework (EMF), one frequently faces the problem of having to deal with several large heterogeneous and interrelated models. The information relevant
Lightweight Verification of Executable Models
Related to the previous post on the static verification of transformations, now Elena explains how to check the quality of your executable UML models for instance written using the recent “Foundational Subset for Executable UML Models” (fUML) standard we have presented and summarized here before Given the increasing importance of executable models, the existence of methods to
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage
Elena Planas talks about our joint work (together with Cristina Gómez) about two basic correctness properties easy to check on your ATL transformations: Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), where models are transformed from higher to lower levels of abstraction. Unfortunately, a quick and easy way to
Learn MoDisco, ATL, EMF Facet and EEF
In the last Eclipse DemoCamp in Nantes we had very interesting talks about MoDisco, ATL, EMF Facet (related to our EMF Profiles approach) and EEF among other non-modeling talks. Take a look at the slides presented in the event MoDisco & ATL – Eclipse DemoCamp Indigo 2011 in Nantes View more presentations from HugoBruneliere EMF
A Perl implementation of the UML metamodel
I’m aware that Perl is not exactly the most popular language nowadays but nevertheless I think it is remarkable to find a UML metamodel (v. 1.5) implementation written in Perl: UMMF From the web page: UMMF allows you to control how your Model will be translated into code; add your special archtectural or environmental support
Summary of the 2nd day of the Int. Conf. on Model Transformation 2011
As for the summary of the first day I’ll use my tweets and, specially, Richard’s ones to summarize in a few words the highlights of the second day of the conference. Here we go: J. Kuster talking about test suite quality for model transformations #icmt11#tools11 model transformation chains are complex pieces of software #icmt11#tools11 how to
