Transforming DATA* with Dotty Format to Aggregate Region Automaton
Hiba Hachichi, Ilham Kitouni, Djamel Eddine Saïdouni · International Journal of Computer Applications · 2012
In this paper we propose an approach for translating DATA* structure of a high number of states to aggregate region automaton.Firstly, we propose a program written in python language that transforms a DATA* structure, presented as a dotty file, to a DATA* structure written in the form of a python file respecting the syntax of AToM3.Secondly, we define a meta-model of the DATA* model and a meta-model of the aggregate region automata model thus a transformation grammar using graph transformation and the modeling tool AToM 3 to perform this transformation automatically.