Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
This is an incremental application of an existing method to a specific transformation case in model-driven engineering.
The paper tackled the TTC 2013 Petri-Nets to Statecharts Transformation Case using FunnyQT, a model querying and transformation library in Clojure, and won the best overall solution and best efficiency awards.
FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Petri-Nets to Statcharts Transformation Case. This solution has won the best overall solution award and the best efficiency award for this case.