Site Sponsor
Go WordPress
Category Archives: transformations
Using Models of Partial Knowledge to Test Model Transformations
If you are interested in the field of testing model transformations you may want to take a look at our paper Using Models of Partial Knowledge to Test Model Transformations, recently accepted at ICMT 2012. Abstract: Testers often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults,
Two surveys on modeling are waiting for your input
MDE researchers kindly request your help: “In the course of the project MOLIZ, a research project together with the Vienna University of Technology, we kindly invite you to participate in an online survey about the usage of models in practice and requirements for model execution. The questionnaire is targeted at people who work with models
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
