Towards a model transformation intent catalog

Authors:
Moussa Amrani;Jürgen Dingel;Leen Lambers;Levi Lúcio;Rick Salay;Gehan Selim;Eugene Syriani;Manuel Wimmer
Affiliations:
University of Luxembourg, Luxembourg;Queen's University Kingston ON, Canada;Hasso Plattner Institute, Postdam, Germany;McGill University, Montreal, QC, Canada;University of Toronto, Toronto, ON, Canada;Queen's University, Kingston, ON, Canada;University of Alabama, Tuscaloosa, AL;University of Malaga, Spain
Venue:
Proceedings of the First Workshop on the Analysis of Model Transformations
Year:
2012

Citing 27
Cited 0

Program restructuring as an aid to software maintenance

Program restructuring as an aid to software maintenance
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Understanding “why” in software process modelling, analysis, and design

ICSE '94 Proceedings of the 16th international conference on Software engineering
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Confluence of Typed Attributed Graph Transformation Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff

Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Verifying Model Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
Augur 2 --- A New Version of a Tool for the Analysis of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Systematic Method for Proving Termination of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A metric for software readability

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Software requirement patterns

Software requirement patterns
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

Software Language Engineering
Reusable Model Transformation Patterns

EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
On the Use of Higher-Order Model Transformations

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
Efficient Detection of Conflicts in Graph-based Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
A Taxonomy of Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation
Summary of the workshop on multi-paradigm modeling: concepts and tools

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A technique for automatic validation of model transformations

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Termination criteria for model transformation

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Termination analysis of model transformations by petri nets

ICGT'06 Proceedings of the Third international conference on Graph Transformations
A Tridimensional Approach for Studying the Formal Verification of Model Transformations

ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
A multi-paradigm foundation for model transformation language engineering

A multi-paradigm foundation for model transformation language engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on our ongoing effort to build a catalog of model transformation intents that describes common uses of model transformations in Model-Driven Engineering (MDE) and the properties they must or may possess. We present a preliminary list of intents and common properties. One intent (transformation for analysis) is described in more detail and the description is used to identify transformations with the same intent in a case study on the use of MDE techniques for the development of control software for a power window.