Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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 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
host publication
CEUR Workshop Proceedings
editor
Rose, Louis M. ; Horn, Tassilo and Křikava, Filip
volume
1524
pages
10 pages
publisher
CEUR-WS
conference name
8th Transformation Tool Contest
conference location
L'Aquila, Italy
conference dates
2015-07-24
external identifiers
  • scopus:84962497807
ISSN
1613-0073
language
English
LU publication?
yes
additional info
urn:nbn:de:0074-1524-7
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
2016-04-01 13:14:01
date last changed
2022-01-27 18:02:13
@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}},
  keywords     = {{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-WS}},
  title        = {{fUML Activity Diagrams with RAG-controlled Rewriting: A RACR Solution of The TTC 2015 Model Execution Case}},
  url          = {{https://lup.lub.lu.se/search/files/3246464/8310922.pdf}},
  volume       = {{1524}},
  year         = {{2015}},
}