Published: 29th November 2013 DOI: 10.4204/EPTCS.135 ISSN: 2075-2180 |
The aim of the Transformation Tool Contest (TTC) series is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. A deeper understanding of the relative merits of different tool features will help to further improve graph and model transformation tools and to indicate open problems.
This contest was the sixth of its kind, following the successful edition of 2011 [7]. For the fourth time, the contest was co-located with the international conference on model transformation (ICMT [1]). Teams from the major international players in the development and use of model transformation tools have participated in an online setting as well as in a physical, two-day workshop.
In order to facilitate the comparison of transformation tools, our program committee had selected three challenging case studies via single blind reviews:
All accepted solutions to these case studies consist of a paper and the actual solution artifacts. Each case study solution (tool, project files, documentation) was made (and remains) available for review and demonstration via SHARE [6]. TTC 2013 involved open (i.e., non anonymous) peer reviews in a first round. The purpose of this round of reviewing was that the participants gained as much insight into the competitor’s solutions as possible and also to raise potential problems.
Besides the presentations of the submitted solutions, the workshop also comprised a live contest. That contest involved a set of tasks for modeling the execution semantics of a subset of the Business Process Model and Notation (BPMN) 2.0 standard as in-place transformations. The challenge included proper starting and termination of processes, execution of primitive tasks based on token games and the handling of parallel gateways. In addition to the rule-based modeling of the execution semantics of BPMN, we asked the contestants to use their specification for (i) manual and batch execution of processes and (ii) a state space generation and basic analysis of temporal properties. The live contest case was authored by Christian Krause, based on work by Van Gorp et al [5]. At the time of writing, there are no papers related to the TTC 2013 live contest solutions.
This EPTCS volume contains the TTC 2013 papers that have undergone a second round of single blind reviews by Program Committee members. Committee members were asked to check whether papers had taken into account the suggestions for improvement that were raised during the (pre-)workshop discussions. For more details (such as reference solutions for the case studies, testcases and online forum discussions), please consult the TTC 2013 website.
Of particular interest to the community of theoretical computer scientists may be our observation that the Petri-Nets to Statecharts case involves theoretical challenges that could not be solved by the TTC 2013 participants. We invite the interested reader to contact the case authors concerning the open challenges on Verification Support (cf., Section 5.2.1 in [2]).
As organizers of TTC 2013, we have been supported by the following steering committee members:
The submissions for this volume have gone through a thorough two-step reviewing process. Therefore, special thanks to the TTC 2013 program committee members:
[1] Keith Duddy & Gerti Kappel, editors (2013): Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings. Lecture Notes in Computer Science 7909, Springer, doi:10.1007/978-3-642-38883-5.
[2] Pieter Van Gorp & Louis Rose (2013): The Petri-Nets to Statecharts Transformation Case. In: Sixth Transformation Tool Contest (TTC 2013), EPTCS this volume.
[3] Tassilo Horn (2013): The TTC 2013 Flowgraphs Case. In: Sixth Transformation Tool Contest (TTC 2013), EPTCS this volume.
[4] Kevin Lano & Shekoufeh Kolahdouz Rahimi (2013): Case study: class diagram restructuring. In: Sixth Transformation Tool Contest (TTC 2013), EPTCS this volume.
[5] Pieter Van Gorp & Remco M. Dijkman (2013): A visual token-based formalization of BPMN 2.0 based on in-place transformations. Information & Software Technology 55(2), pp. 365–394, doi:10.1016/j.infsof.2012.08.014.
[6] Pieter Van Gorp & Paul W. P. J. Grefen (2012): Supporting the internet-based evaluation of research software with cloud infrastructure. Software and System Modeling 11(1), pp. 11–28, doi:10.1007/s10270-010-0163-y.
[7] Pieter Van Gorp, Steffen Mazanek & Louis M. Rose, editors (2011): Proceedings Fifth Transformation Tool Contest. EPTCS 74, doi:10.4204/EPTCS.74.