Evaluating the performance of model transformation styles in Maude

Bruni, Roberto and Lluch-Lafuente, Alberto Evaluating the performance of model transformation styles in Maude. In: International symposium on formal aspects of component software , September 14-16, 2011, Oslo, Norway (Unpublished) (2011)

Preview

PDF - Draft Version Download (705kB) | Preview

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 exible 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 pointout the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 30 not found.
Date Deposited:	12 Sep 2011 13:42
Last Modified:	27 Sep 2011 11:09
URI:	http://eprints.imtlucca.it/id/eprint/858

Available Versions of this Item

• Evaluating the performance of model transformation styles in Maude. (deposited 12 Sep 2011 13:42) [Currently Displayed]
  • Evaluating the performance of model transformation styles in Maude. (deposited 29 Jun 2012 11:15)

Actions (login required)

Edit Item