The petri-nets to statecharts transformation case

P.M.E. Van Gorp, L.M. Rose

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from ¿at process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.
Originele taal-2Engels
TitelProceedings of the Sixth Transformation Tool Contest (TTC 2013)
RedacteurenP.M.E Van Gorp, L.M. Rose, C. Krause
Plaats van productieBudapest, Hungary
StatusGepubliceerd - 2013
Evenementconference; TTC 2013; 2013-06-19; 2013-06-20 -
Duur: 19 jun 201320 jun 2013

Publicatie series

NaamElectronic Proceedings in Theoretical Computer Science
ISSN van geprinte versie2075-2180


Congresconference; TTC 2013; 2013-06-19; 2013-06-20
AnderTTC 2013


Duik in de onderzoeksthema's van 'The petri-nets to statecharts transformation case'. Samen vormen ze een unieke vingerafdruk.

Citeer dit