Abstract
Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages. General rewriting frameworks such as Maude are flexible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer’s background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We point out the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other.
Work supported by the EU Project ASCENS and the Italian MIUR Project IPODS.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96, 73–155 (1992)
Rozenberg, G. (ed.): Handbook of Graph Grammars. World Scientific (1997)
Bruni, R., Lluch Lafuente, A., Montanari, U.: On structured model-driven transformations. International Journal of Software and Informatics (IJSI) 2, 185–206 (2011)
Boronat, A., Bruni, R., Lluch Lafuente, A., Montanari, U., Paolillo, G.: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Hatcliff, J., Zucca, E. (eds.) FMOODS/FORTE 2010. LNCS, vol. 6117, pp. 2–16. Springer, Heidelberg (2010)
Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1–36. Springer, Heidelberg (2002)
Meseguer, J.: A logical theory of concurrent objects. In: OOPSLA/ECOOP 1990, pp. 101–115 (1990)
Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 377–391. Springer, Heidelberg (2008)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)
Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming 60-61, 17–39 (2004)
Verdejo, A., Martí-Oliet, N.: Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming 67, 226–293 (2006)
Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theoretical Computer Science 360, 386–414 (2006)
Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style based architectural reconfigurations. Bulletin of the EATCS 94, 161–180 (2008)
Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What Is a Multi-Modeling Language? In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 71–87. Springer, Heidelberg (2009)
Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF model refactoring based on graph transformation concepts. In: 3rd Workshop on Software Evolution through Transformations, vol. 3. ECEASST (2006)
MOMENT2: http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/
CafeObj, http://www.ldl.jaist.ac.jp/cafeobj/
StrategoXT, http://strategoxt.org/
Braga, C., Verdejo, A.: Modular structural operational semantics with strategies. ENTCS 175, 3–17 (2007)
K Framework, http://fsl.cs.uiuc.edu/index.php/K
Şerbănuţă, T.F., Roşu, G., Meseguer, J.: A rewriting logic approach to operational semantics. Information and Computation 207, 305–340 (2009)
Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.: Search-based model transformation by example. Software and Systems Modeling 11(2), 209–226 (2010)
3rd Rewrite engines competition (REC III), WRLA 2010 (2010), http://www.lcc.uma.es/~duran/rewriting_competition/
Graph Transformation Contest, http://fots.ua.ac.be/events/grabats2008/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bruni, R., Lluch Lafuente, A. (2012). Evaluating the Performance of Model Transformation Styles in Maude. In: Arbab, F., Ölveczky, P.C. (eds) Formal Aspects of Component Software. FACS 2011. Lecture Notes in Computer Science, vol 7253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35743-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-35743-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35742-8
Online ISBN: 978-3-642-35743-5
eBook Packages: Computer ScienceComputer Science (R0)