eprintid: 858
rev_number: 10
eprint_status: archive
userid: 30
dir: disk0/00/00/08/58
datestamp: 2011-09-12 13:42:22
lastmod: 2011-09-27 11:09:23
status_changed: 2011-09-12 13:42:22
type: conference_item
metadata_visibility: no_search
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: Evaluating the performance of model transformation styles in Maude
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
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.
date: 2011
date_type: submitted
event_title: International symposium on formal aspects of component software 
event_location:  Oslo, Norway 
event_dates: September 14-16, 2011
event_type: conference
refereed: TRUE
related_url_url: http://facs2011.ifi.uio.no/index.php?n=Main.Home
related_url_type: org
citation:   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)  
document_url: http://eprints.imtlucca.it/858/1/bruni_lluch-lafuente2011a.pdf