Skip to main content
Article thumbnail
Location of Repository

Evaluating the performance of model transformation styles in Maude

By Roberto Bruni and Alberto Lluch-Lafuente


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

Topics: QA75 Electronic computers. Computer science
Publisher: Springer
Year: 2011
DOI identifier: 10.1007/978-3-642-35743-5_6
OAI identifier:

Suggested articles


  1. (1990). A logical theory of concurrent objects. doi
  2. (2004). A structural approach to operational semantics. doi
  3. (2007). A.: Modular structural operational semantics with strategies. doi
  4. (2008). An algebraic semantics for MOF. doi
  5. (2005). Benchmarking for graph transformation. In:
  6. (2007). C.L.: All About Maude. Volume 4350 of LNCS. doi
  7. (1992). Conditional rewriting logic as a united model of concurrency. doi
  8. (2006). E.: EMF model refactoring based on graph transformation concepts. In:
  9. (2006). Executable structural operational semantics in Maude. doi
  10. (2010). Exploiting the hierarchical structure of rule-based speci for decision planning. doi
  11. Graph Transformation Contest, doi
  12. (2011). On structured model-driven transformations. doi
  13. (2010). Search-based model transformation by example. Software and Systems Modeling doi
  14. (2006). Semantic foundations for generalized rewrite theories. doi
  15. (2006). Semantic models for distributed object re ection. doi
  16. (2008). Style based architectural recon doi
  17. (2009). What is a Multi-Modeling Language? In: doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.