Article

Performance in model transformations: experiments with ATL and QVT

Authors:

Marcel Van Amstel,

Steven Bosems,

Ivan Kurtev,

Luís Ferreira PiresAuthors Info & Claims

ICMT'11: Proceedings of the 4th international conference on Theory and practice of model transformations

Pages 198 - 212

Published: 27 June 2011 Publication History

Publisher Site

Abstract

Model transformations are increasingly being incorporated in software development processes. However, as systems being developed with transformations grow in size and complexity, the performance of the transformations tends to degrade. In this paper we investigate the factors that have an impact on the execution performance of model transformations. We analyze the performance of three model transformation language engines, namely ATL, QVT Operational Mappings and QVT Relations. We implemented solutions to two transformation problems in these languages and compared the performance of these transformations. We extracted metric values from the transformations to systematically analyze how their characteristics influence transformation execution performance. We also implemented a solution to a transformation problem in ATL in three functionally equivalent ways, but with different language constructs to evaluate the effect of language constructs on transformation performance. The results of this paper enable a transformation designer to estimate beforehand the performance of a transformation, and to choose among implementation alternatives to achieve the best performance. In addition, transformation engine developers may find some of our results useful in order to tune their tools for better performance.

References

[1]

Epsilon, http://www.eclipse.org/gmt/epsilon/

Google Scholar

[2]

Performance experiments with atl and qvt, http://wwwhome.cs.utwente.nl/~kurtev/ATLQVT/

Google Scholar

[3]

Transformation tools contest, http://is.tm.tue.nl/staff/pvgorp/events/TTC2011/CfC.pdf

Google Scholar

[4]

van Amstel, M.F., van den Brand, M.G.J.: Quality Assessment of ATL Model Transformations using Metrics. In: Proceedings of the 2nd International Workshop on Model Transformation with ATL (MtATL 2010), Malaga, Spain (June 2010).

Google Scholar

[5]

van Amstel, M.F., van den Brand, M.G.J., Nguyen, P.H.: Metrics for model transformations. In: Proceedings of the Ninth Belgian-Netherlands Software Evolution Workshop (BENEVOL 2010), Lille, France (December 2010).

Google Scholar

[6]

van Amstel, M.F., Lange, C.F.J., van den Brand, M.G.J.: Using metrics for assessing the quality of ASF+SDF model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 239-248. Springer, Heidelberg (2009).

Digital Library

Google Scholar

[7]

Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigorous & Practical Approach, 2nd edn. PWS Publishing Co. (1996).

Digital Library

Google Scholar

[8]

Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: A model transformation tool. Sci. Comput. Program. 72(1-2), 31-39 (2008).

Digital Library

Google Scholar

[9]

Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., Valduriez, P.: Atl: a qvt-like transformation language. In: Companion to the 21st ACM SIGPLAN Symposium on Object-oriented Programming Systems, Languages, and Applications, OOPSLA 2006, Portland, Oregon, USA, pp. 719-720. ACM, New York (2006), http://doi.acm.org/10.1145/1176617.1176691

Digital Library

Google Scholar

[10]

Kapová, L., Goldschmidt, T., Becker, S., Henss, J.: Evaluating Maintainability with Code Metrics for Model-to-Model Transformations. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) QoSA 2010. LNCS, vol. 6093, pp. 151-166. Springer, Heidelberg (2010).

Digital Library

Google Scholar

[11]

Object Management Group: Meta Object Facility (MOF) Query/View/Transformation Transformation Specification (2008).

Google Scholar

[12]

The Eclipse Foundation: ATL Transformations, http://www.eclipse.org/m2m/atl/atlTransformations/

Google Scholar

[13]

Vignaga, A.: Metrics for measuring atl model transformations. Tech. rep., Universidad de Chile (2009).

Google Scholar

Cited By

View all

Groner RPretschner AVoss SBurgueño L(2019)User-centered performance engineering of model transformationsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00097(635-641)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00097
He XZhang TPan MMa ZHu C(2019)Template-based model generationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0634-518:3(2051-2092)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0634-5
Burger EHenss JKüster MKruse SHappe L(2016)View-based model-driven software development with ModelJoinSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0413-515:2(473-496)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0413-5
Show More Cited By

Recommendations

Translating ATL Model Transformations to Algebraic Graph Transformations
Proceedings of the 8th International Conference on Theory and Practice of Model Transformations - Volume 9152

Analyzing and reasoning on model transformations has become very relevant for various applications such as ensuring the correctness of transformations. ATL is a model transformation language with rich semantics and a focus on usability, making its ...
Localized model transformations for building large-scale transformations

Model-driven engineering (MDE) exploits well-defined, tool-supported modelling languages and operations applied to models created using these languages. Model transformation is a critical part of the use of MDE. It has been argued that transformations ...
Model-to-model transformations by demonstration
ICMT'10: Proceedings of the Third international conference on Theory and practice of model transformations

During the last decade several approaches have been proposed for easing the burden of writing model transformation rules manually. Among them are Model Transformation By-Demonstration (MTBD) approaches which record actions performed on example models to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICMT'11: Proceedings of the 4th international conference on Theory and practice of model transformations

June 2011

228 pages

ISBN:9783642217319

Editors:
Jordi Cabot
INRIA, école des Mines de Nantes, Nantes, France
,
Eelco Visser
Delft University of Technology, Faculty Electrical Engineering, Mathematics and Computer Science, Delft, The Netherlands

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 27 June 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Groner RPretschner AVoss SBurgueño L(2019)User-centered performance engineering of model transformationsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00097(635-641)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00097
He XZhang TPan MMa ZHu C(2019)Template-based model generationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0634-518:3(2051-2092)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0634-5
Burger EHenss JKüster MKruse SHappe L(2016)View-based model-driven software development with ModelJoinSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0413-515:2(473-496)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0413-5
Di Rocco JDi Ruscio DIovino LPierantonio AGray JChechik MKulkarni VPaige R(2015)Mining correlations of ATL model transformation and metamodel metricsProceedings of the Seventh International Workshop on Modeling in Software Engineering10.5555/2820489.2820502(54-59)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820489.2820502
Amato FDe Paola FDiomaiuta CGiugni MMazzocca NMoscato F(2015)A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model TransformationProcedia Computer Science10.1016/j.procs.2015.05.32351:C(562-571)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1016/j.procs.2015.05.323
Burgueño LTroya JWimmer MVallecillo A(2013)On the concurrent execution of model transformations with LindaProceedings of the Workshop on Scalability in Model Driven Engineering10.1145/2487766.2487770(1-10)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2487766.2487770
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
Demuth ALopez-Herrejon REgyed A(2012)Constraint-Driven modeling through transformationProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_17(248-263)Online publication date: 28-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30476-7_17

Abstract

References

Cited By

Recommendations

Translating ATL Model Transformations to Algebraic Graph Transformations

Localized model transformations for building large-scale transformations

Model-to-model transformations by demonstration

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations