research-article

Towards a model transformation intent catalog

Authors:

Jürgen Dingel,

Eugene Syriani,

Manuel WimmerAuthors Info & Claims

AMT '12: Proceedings of the First Workshop on the Analysis of Model Transformations

Pages 3 - 8

https://doi.org/10.1145/2432497.2432499

Published: 02 October 2012 Publication History

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.

References

[1]

M. Amrani, L. Lúcio, G. Selim, B. Combemale, J. Dingel, H. Vangheluwe, Y. Le Traon, and J. R. Cordy, "A Tridimensional Approach for Studying the Formal Verification of Model Transformations," in Volt Workshop, 2012.

Digital Library

[2]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1994.

Digital Library

[3]

E. Syriani, "A Multi-Paradigm Foundation for Model Transformation Language Engineering," Ph.D. Thesis, McGill University, 2011.

Digital Library

[4]

T. Mens and P. Van Gorp, "A Taxonomy Of Model Transformation," Entcs, vol. 152, pp. 125--142, 2006.

Digital Library

[5]

K. Czarnecki and S. Helsen, "Feature-Based Survey of Model Transformation Approaches," Ibm Systems J., vol. 45(3), pp. 621--645, 2006.

Digital Library

[6]

A. G. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003.

Digital Library

[7]

Holger Giese, Tihamer Levendovszky, and Hans Vangheluwe, "Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools," in Models in Software Engineering, vol. 4364, 2007.

Digital Library

[8]

T. Fischer, J. Niere, L. Turunski, and A. Zündorf, "Story Diagrams: A New Graph Rewrite Language Based on Uml and Java," in Theory and Application of Graph Transformations, 2000, pp. 296--309.

Digital Library

[9]

J. Winkelmann, G. Taentzer, K. Ehrig, and J. Küster, "Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars," Entcs, vol. 211, pp. 159--170, 2008.

Digital Library

[10]

P. Mc Brien and A. Poulovassi, "Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach," in Conceptual Modeling ER, vol. 1782, 1999, pp. 99--114.

[11]

W. G. Griswold, "Program Restructuring as an Aid to Software Maintenance," Ph.D. dissertation, University of Washington, August 1991.

Digital Library

[12]

J. Zhang, Y. Lin, and J. Gray, "Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine," in Research and Practice in Software Engineering (Vol. II), 2005, pp. 199--218.

[13]

I. Sommerville, Software Engineering. Addison-Wesley.

[14]

H.-K. Ehrig, G. Taentzer, J. de Lara, D. Varró, and S. Varró Gyapai, "Termination Criteria for Model Transformation," in Fase, 2005.

Digital Library

[15]

J. M. Küster, "Definition and Validation of Model Transformations," SoSyM, vol. 5(3), pp. 233--259, 2006.

[16]

H. S. Bruggink, "Towards a Systematic Method for Proving Termination of Graph Transformation Systems," Entcs, vol. 213(1), 2008.

Digital Library

[17]

F. Spoto, P. M. Hill, and E. Payet, "Path-Length Analysis of Object-Oriented Programs," in Eaai, 2006.

[18]

R. Heckel, J. M. Küster, and G. Taentzer, "Confluence of Typed Attributed Graph Transformation Systems," in Icgt, 2002.

Digital Library

[19]

L. Lambers, H. Ehrig, and F. Orejas, "Efficient Detection of Conflicts in Graph-based Model Transformation," Entcs, vol. 152, 2006.

Digital Library

[20]

A. Boronat, "MoMent: A Formal Framework for Model manageMent," Ph.D. dissertation, University of Valencia, 2007.

[21]

A. Narayanan and G. Karsai, "Verifying Model Transformations by Structural Correspondence," EcEasst, vol. 10, 2008.

[22]

L. Lúcio, B. Barroca, and V. Amaral, "A Technique for Automatic Validation of Model Transformations," in MoDELS, 2010, pp. 136--150.

Digital Library

[23]

A. Narayanan and G. Karsai, "Towards Verifying Model Transformations," Entcs, vol. 211, pp. 191--200, 2008.

Digital Library

[24]

Dániel Varró and András Pataricza, "Automated Formal Verification of Model Transformations," in csdUml Workshop, 2003, pp. 63--78.

[25]

L. Lúcio, Q. Zhang, V. Sousa, and Y. Le Traon, "Verifying Access Control in Statecharts," EcEasst, 2012.

[26]

D. Varró, S. Varró-Gyapay, H. Ehrig, U. Prange, and G. Taentzer, "Termination Analysis of Model Transformations by Petri Nets," International Conference on Graph Transformations, pp. 260--274, 2006.

Digital Library

[27]

R. P. Buse and W. R. Weimer, "A metric for software readability," in Proceedings of ISSTA '08. NY, USA: ACM, 2008, pp. 121--130.

Digital Library

[28]

D. Harel and B. Rumpe, "Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff," Israel, Tech. Rep., 2000.

Digital Library

[29]

T. Kühne, G. Mezei, E. Syriani, H. Vangheluwe, and M. Wimmer, "Systematic Transformation Development," EcEasst, vol. 21, 2009.

[30]

J. de Lara and G. Taentzer, "Automated Model Transformation and its Validation Using AToM3 and AGG," in Diagrams, 2004, pp. 182--198.

[31]

B. König and V. Kozioura, "Augur 2--A New Version of a Tool for the Analysis of Graph Transformation Systems," Electronic Notes in Theoretical Computer Science (ENTCS), vol. 211, pp. 201--210, 2008.

Digital Library

[32]

J. Rivera, E. Guerra, J. de Lara, and A. Vallecillo, "Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude," Software Language Engineering, pp. 54--73, 2009.

Digital Library

[33]

J. Cabot, R. Clarisó, E. Guerra, and J. de Lara, "Verification and Validation of Declarative Model-to-Model Transformations Through Invariants," JSS, vol. 83(2), pp. 283--302, 2010.

Digital Library

[34]

L. Lúcio, J. Denil, and H. Vangheluwe, "An Overview of Model Transformations for a Simple Automotive Power Window," McGill University, Tech. Rep. SOCS-TR-2012.2, 2012, http://msdl.cs.mcgill.ca/people/levi/AMT/material/.

[35]

AUTOSAR, "http://www.autosar.org," 2010.

[36]

E. S. Yu and J. Mylopoulos, "Understanding "Why" in Software Process Modelling, Analysis, and Design," in Icse, 1994, pp. 159--168.

Digital Library

[37]

M.-E. Iacob, M. W. A. Steen, and L. Heerink, "Reusable Model Transformation Patterns," in EDOCW'08, 2008, pp. 1--10.

Digital Library

[38]

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, "On the Use of Higher-Order Model Transformations," in Ecmda-Fa, 2009, pp. 18--33.

Digital Library

[39]

Eelco Visser, "A Survey of Strategies in Rule-Based Program Transformation Systems," J. Symbolic Computation, vol. 40(1), pp. 831--873, 2005.

Digital Library

[40]

S. Withall, Software Requirement Patterns. Microsoft Press, 2007.

Digital Library

Cited By

Tietz VFrey CWaldvogel ASchoepf JAnnighoefer B(2024)Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)Innovations in Systems and Software Engineering10.1007/s11334-024-00565-2Online publication date: 10-Jul-2024
https://doi.org/10.1007/s11334-024-00565-2
Groner RBeaucamp LTichy MBecker SSyriani ESahraoui H(2020)An exploratory study on performance engineering in model transformationsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410950(308-319)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410950
Gabmeyer SKaufmann PSeidl MGogolla MKappel G(2019)A feature-based classification of formal verification techniques for software modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0591-z18:1(473-498)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0591-z
Show More Cited By

Index Terms

Towards a model transformation intent catalog
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages
ICMT '09: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations

Practitioners of model-driven engineering usually find that producing model transformations still requires much effort. The Model Transformation By-Example (MTBE) approach softens this problem by means of the automated creation of model transformations ...
A posteriori typing for model-driven engineering: concepts, analysis, and applications
ICSE '18: Proceedings of the 40th International Conference on Software Engineering

Model-Driven Engineering (MDE) is a software engineering paradigm where models are actively used to specify, test, simulate, analyse and maintain the systems to be built, among other activities. Models can be defined using general-purpose modelling ...
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations

Model-Driven Engineering (MDE) places models as first-class artifacts throughout the software lifecycle. In this context, model transformations are crucial for the success of MDE, being comparable in role and importance to compilers for high-level ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AMT '12: Proceedings of the First Workshop on the Analysis of Model Transformations

October 2012

48 pages

ISBN:9781450318037

DOI:10.1145/2432497

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

October 2, 2012

Innsbruck, Austria

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
227
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tietz VFrey CWaldvogel ASchoepf JAnnighoefer B(2024)Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)Innovations in Systems and Software Engineering10.1007/s11334-024-00565-2Online publication date: 10-Jul-2024
https://doi.org/10.1007/s11334-024-00565-2
Groner RBeaucamp LTichy MBecker SSyriani ESahraoui H(2020)An exploratory study on performance engineering in model transformationsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410950(308-319)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410950
Gabmeyer SKaufmann PSeidl MGogolla MKappel G(2019)A feature-based classification of formal verification techniques for software modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0591-z18:1(473-498)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0591-z
Gerpheide CSchiffelers RSerebrenik A(2016)Assessing and improving quality of QVTo model transformationsSoftware Quality Journal10.1007/s11219-015-9280-824:3(797-834)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s11219-015-9280-8
Lúcio LAmrani MDingel JLambers LSalay RSelim GSyriani EWimmer M(2016)Model transformation intents and their propertiesSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0429-x15:3(647-684)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0429-x
Lengyel LCharaf H(2015)Test-driven verification/validation of model transformationsFrontiers of Information Technology & Electronic Engineering10.1631/FITEE.140011116:2(85-97)Online publication date: 6-Feb-2015
https://doi.org/10.1631/FITEE.1400111
Lengyel LMészáros TAsztalos MBoros PMáté AMadács GHudák PKovács KTresch ACharaf H(2015)Quality Assured Model-Driven Requirements Engineering and Software DevelopmentThe Computer Journal10.1093/comjnl/bxv05158:11(3171-3186)Online publication date: 14-Jul-2015
https://doi.org/10.1093/comjnl/bxv051
Lengyel LCharaf H(2015)Open issues in model transformations for multimodal applicationsJournal on Multimodal User Interfaces10.1007/s12193-015-0192-59:4(377-385)Online publication date: 9-Aug-2015
https://doi.org/10.1007/s12193-015-0192-5
Syriani EVangheluwe HLashomb B(2015)T-CoreSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0370-414:3(1215-1243)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1007/s10270-013-0370-4
Kusel ASchönböck JWimmer MKappel GRetschitzegger WSchwinger W(2015)Reuse in model-to-model transformation languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0343-714:2(537-572)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1007/s10270-013-0343-7
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents