Creation of Automaton Classes from Graphical Models and Automatic Solution for Inverse Problem
Yuri Gubin, Kirill Timofeev, Anatoly Abramovich Shalyto · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2009
Graphical models -integral part of any program development. Using graphical models facilitates analysis of their architecture and understanding of logic.This work shows how to automatically transfer automaton code into graphical isomorphic model, using Java programming and DOT modeling languages.