Advanced

fUML Activity Diagrams with RAG-controlled Rewriting: A RACR Solution of The TTC 2015 Model Execution Case

Bürger, Christoff LU (2015) 8th Transformation Tool Contest In CEUR Workshop Proceedings 1524. p.27-36
Abstract
This paper summarises a RACR solution of The TTC 2015 Model Execution Case. RACR is a metacompiler library for Scheme. Its most distinguished feature is the seamless combination of reference attribute grammars and graph rewriting combined with incremental evaluation semantics. The presented solution sketches how these integrated analyses and rewriting facilities are used to transform fUML Activity Diagrams to executable Petri nets. Of particular interest are (1) the exploitation of reference attribute grammar analyses for Petri net generation and (2) the efficient execution of generated nets based on the incremental evaluation semantics of RACR.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
language engineering, metamodelling, execution semantics, Petri net, activity diagram, fUML, RAG-controlled rewriting, graph rewriting, reference attribute grammar
in
CEUR Workshop Proceedings
editor
Rose, Louis M.; Horn, Tassilo; Křikava, Filip; ; and
volume
1524
pages
10 pages
publisher
CEUR
conference name
8th Transformation Tool Contest
external identifiers
  • scopus:84962497807
ISSN
1613-0073
language
English
LU publication?
yes
id
399d64f8-f02c-448e-95ff-9b879a3ddc14 (old id 7890536)
alternative location
http://ceur-ws.org/Vol-1524/paper10.pdf
http://ceur-ws.org/Vol-1524/
date added to LUP
2015-09-21 14:01:49
date last changed
2017-01-01 05:33:01
@inproceedings{399d64f8-f02c-448e-95ff-9b879a3ddc14,
  abstract     = {This paper summarises a RACR solution of The TTC 2015 Model Execution Case. RACR is a metacompiler library for Scheme. Its most distinguished feature is the seamless combination of reference attribute grammars and graph rewriting combined with incremental evaluation semantics. The presented solution sketches how these integrated analyses and rewriting facilities are used to transform fUML Activity Diagrams to executable Petri nets. Of particular interest are (1) the exploitation of reference attribute grammar analyses for Petri net generation and (2) the efficient execution of generated nets based on the incremental evaluation semantics of RACR.},
  author       = {Bürger, Christoff},
  booktitle    = {CEUR Workshop Proceedings},
  editor       = {Rose, Louis M. and Horn, Tassilo and Křikava, Filip},
  issn         = {1613-0073},
  keyword      = {language engineering,metamodelling,execution semantics,Petri net,activity diagram,fUML,RAG-controlled rewriting,graph rewriting,reference attribute grammar},
  language     = {eng},
  pages        = {27--36},
  publisher    = {CEUR},
  title        = {fUML Activity Diagrams with RAG-controlled Rewriting: A RACR Solution of The TTC 2015 Model Execution Case},
  volume       = {1524},
  year         = {2015},
}