Article

Evaluation of rule-based modularization in model transformation languages illustrated with ATL

Authors:

Klaas van den Berg,

Frédéric JouaultAuthors Info & Claims

SAC '06: Proceedings of the 2006 ACM symposium on Applied computing

Pages 1202 - 1209

https://doi.org/10.1145/1141277.1141563

Published: 23 April 2006 Publication History

Abstract

This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are identified on the base of the relations between source and target metamodels and on the base of generic transformation functionality. Both scenarios justify modularization by requiring adaptability and reusability in transformation definitions. To enable representation and composition of the identified units, a transformation language must provide proper modular constructs and mechanisms for their integration. We evaluate several implementations of the scenarios by applying different transformation techniques: usage of explicit and implicit rule calls, and usage of rule inheritance. ATLAS Transformation Language (ATL) is used to illustrate these implementations. The experience with these scenarios shows that current languages provide a reasonably full set of modular constructs but may have problems in handling some composition tasks.

References

[1]

Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A. The Design of a Simple Language for Graph Transformations, Journal in Software and System Modeling, in review, 2005

[2]

Bézivin, J., Dupé, G., Jouault, F., Pitette, G., and Rougui, J. E., First experiments with the ATL model transformation language, 2nd OOPSLA Workshop on Generative Techniques in the context of MDA, USA, 2003

[3]

Czarnecki, K., Helsen, S. Classification of model transformation approaches. OOPSLA2003 Workshop on Generative Techniques in the Context of MDA, USA, 2003

[4]

DSTC, IBM, CBOP. MOF Query/Views/Transformations Submission. OMG document ad/2004-01-06, 2004

[5]

Filman, R., Elrad, T., Clarke, S., and Aksit, M. Aspect-Oriented Software Development. Addison-Wesley. 2004

Digital Library

[6]

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

Digital Library

[7]

Jouault, F., and Kurtev, I., Transforming Models with ATL, Workshop Model Transformations in Practice, part of the MoDELS 2005 Conference, Jamaica, 2005

Digital Library

[8]

Jouault, F., Loosely Coupled Traceability for ATL, accepted for the ECMDA Workshop on Traceability, Nuremberg, Germany, 2005

[9]

Kurtev, I. Adaptability of Model Transformations. PhD Thesis, University of Twente, ISBN 90-365-2184-X, 2005

[10]

Meyer, B. Object-oriented software construction. Second edition, Prentice Hall PTR, 1997

Digital Library

[11]

OMG. MOF 2.0 Query/Views/Transformations RFP. OMG document ad/2002-04-10, 2002

[12]

OMG. Revised Submission for MOF 2.0 Query/View/Transformations RFP (ad/2002-04-10). OMG Document ad/2005-07-01, 2005

[13]

Ossher, H., and Tarr, P. Multi-dimensional separation of concerns and the hyperspace approach. In M. Aksit (Ed.), Software Architectures and Component Technology (pp. 293--323). Kluwer Academic Publishers, 2002

[14]

Tarr, P., Ossher, H., Sutton, S. M. Jr., and Harrison, W. NDegrees of Separation: Multi-Dimensional Separation of Concerns. In R. Filman, T. Elrad, S. Clarke, and M. Aksit (Eds.), Aspect-Oriented Software Development, (pp. 37--62), Addison-Wesley, 2004

[15]

van den Berg, K., and Conejero, J. M. Disentangling Crosscutting in AOSD: A Conceptual Framework. European Interactive Workshop on Aspects in Software. Brussels, 2005

[16]

Varro, D., Pataricza, A. Generic and Meta-transformations for Model Transformation Engineering. Proceedings of UML2004, LNCS 3273, Springer, 2004

Cited By

Lano KKolahdouz-Rahimi SYassipour-Tehrani SSharbaf M(2017)A Survey of Model Transformation Design Pattern UsageTheory and Practice of Model Transformation10.1007/978-3-319-61473-1_8(108-118)Online publication date: 20-Jun-2017
https://doi.org/10.1007/978-3-319-61473-1_8
Lano KKolahdouz-Rahimi S(2014)Model-Transformation Design PatternsIEEE Transactions on Software Engineering10.1109/TSE.2014.235434440:12(1224-1259)Online publication date: 1-Dec-2014
https://doi.org/10.1109/TSE.2014.2354344
Lano KKolahdouz-Rahimi SPoernomo ITerrell JZschaler S(2014)Correct-by-construction synthesis of model transformations using transformation patternsSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0291-713:2(873-907)Online publication date: 1-May-2014
https://dl.acm.org/doi/10.1007/s10270-012-0291-7
Show More Cited By

Index Terms

Evaluation of rule-based modularization in model transformation languages illustrated with ATL
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages
      2. Language types
    2. Software libraries and repositories

Recommendations

On validation of ATL transformation rules by transformation models
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Model-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature ...
Rule-based modularization in model transformation languages illustrated with ATL

This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are identified on the basis of relations between source and target metamodels ...
Designing information hiding modularity for model transformation languages
MODULARITY '14: Proceedings of the 13th international conference on Modularity

Development and maintenance of model transformations make up a substantial share of the lifecycle costs of software products that rely on model-driven techniques. In particular large and heterogeneous models lead to poorly understandable transformation ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '06: Proceedings of the 2006 ACM symposium on Applied computing

April 2006

1967 pages

ISBN:1595931082

DOI:10.1145/1141277

Conference Chair:
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia

Copyright © 2006 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 April 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC06

Sponsor:

SIGAPP

SAC06: The 2006 ACM Symposium on Applied Computing

April 23 - 27, 2006

Dijon, France

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
451
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lano KKolahdouz-Rahimi SYassipour-Tehrani SSharbaf M(2017)A Survey of Model Transformation Design Pattern UsageTheory and Practice of Model Transformation10.1007/978-3-319-61473-1_8(108-118)Online publication date: 20-Jun-2017
https://doi.org/10.1007/978-3-319-61473-1_8
Lano KKolahdouz-Rahimi S(2014)Model-Transformation Design PatternsIEEE Transactions on Software Engineering10.1109/TSE.2014.235434440:12(1224-1259)Online publication date: 1-Dec-2014
https://doi.org/10.1109/TSE.2014.2354344
Lano KKolahdouz-Rahimi SPoernomo ITerrell JZschaler S(2014)Correct-by-construction synthesis of model transformations using transformation patternsSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0291-713:2(873-907)Online publication date: 1-May-2014
https://dl.acm.org/doi/10.1007/s10270-012-0291-7
Lano KKolahdouz-Rahimi S(2013)Constraint-based specification of model transformationsJournal of Systems and Software10.1016/j.jss.2012.09.00686:2(412-436)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1016/j.jss.2012.09.006
Cicchetti ADi Ruscio DPierantonio AKolovos D(2012)A Test-Driven Approach for Metamodel DevelopmentEmerging Technologies for the Evolution and Maintenance of Software Models10.4018/978-1-61350-438-3.ch012(319-342)Online publication date: 2012
https://doi.org/10.4018/978-1-61350-438-3.ch012
El Beggar OBousetta BGadi T(2012)Generating methods signatures from transition state diagram: A model transformation approach2012 Colloquium in Information Science and Technology10.1109/CIST.2012.6388054(4-9)Online publication date: Oct-2012
https://doi.org/10.1109/CIST.2012.6388054
Di Ruscio DIovino LPierantonio A(2011)What is needed for managing co-evolution in MDE?Proceedings of the 2nd International Workshop on Model Comparison in Practice10.1145/2000410.2000416(30-38)Online publication date: 30-Jun-2011
https://dl.acm.org/doi/10.1145/2000410.2000416
Kolahdouz-Rahimi SLano K(2011)A model-based development approach for model transformationsProceedings of the 4th IPM international conference on Fundamentals of Software Engineering10.1007/978-3-642-29320-7_4(48-63)Online publication date: 20-Apr-2011
https://dl.acm.org/doi/10.1007/978-3-642-29320-7_4
Rahimi S(2010)Specification of UML Model TransformationsProceedings of the 2010 Third International Conference on Software Testing, Verification and Validation10.1109/ICST.2010.31(323-326)Online publication date: 6-Apr-2010
https://dl.acm.org/doi/10.1109/ICST.2010.31
Bittar TFortes RLobato LWatanabe WMehlenbacher BProtopsaltis AWilliams ASlattery S(2009)Web communication and interaction modeling using model-driven developmentProceedings of the 27th ACM international conference on Design of communication10.1145/1621995.1622033(193-198)Online publication date: 5-Oct-2009
https://dl.acm.org/doi/10.1145/1621995.1622033
Show More Cited By

View Options

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.

Figures

Tables

Media

View Table of Conten