The TTC 2015 Model Execution Case.
Tanja Mayerhofer, Manuel Wimmer · 2015
This paper describes a case study for the Transformation Tool Contest (TTC) 2015 concerning the execution of models. The case foresees the specifi- cation of the operational semantics of a subset of the UML activity diagram lan- guage with transformation languages. In particular, the computation of the end result of the execution of the activity diagrams is targeted as well as the provi- sioning of a precise trace for the complete execution. The evaluation concerns the correctness of the operational semantics specifications, its understandability and conciseness, as well as its performance.