Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
Software Engineering
2013-12-03 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1312.0351,
title = {Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT},
author = {Tassilo Horn},
journal= {arXiv preprint arXiv:1312.0351},
year = {2013}
}
Comments
In Proceedings TTC 2013, arXiv:1311.7536