Transforming DATA* with Dotty Format to Aggregate Region Automaton

H. Hachichi; I.Kitouni; D.E. Saidouni

Research Article

Transforming DATA* with Dotty Format to Aggregate Region Automaton

by H. Hachichi, I.Kitouni, D.E. Saidouni

International Journal of Computer Applications

Foundation of Computer Science (FCS), NY, USA

Volume 37 - Issue 10

Published: January 2012

Authors: H. Hachichi, I.Kitouni, D.E. Saidouni

10.5120/4647-6721

PDF

H. Hachichi, I.Kitouni, D.E. Saidouni . Transforming DATA* with Dotty Format to Aggregate Region Automaton. International Journal of Computer Applications. 37, 10 (January 2012), 35-42. DOI=10.5120/4647-6721

                        @article{ 10.5120/4647-6721,
                        author  = { H. Hachichi,I.Kitouni,D.E. Saidouni },
                        title   = { Transforming DATA* with Dotty Format to Aggregate Region Automaton },
                        journal = { International Journal of Computer Applications },
                        year    = { 2012 },
                        volume  = { 37 },
                        number  = { 10 },
                        pages   = { 35-42 },
                        doi     = { 10.5120/4647-6721 },
                        publisher = { Foundation of Computer Science (FCS), NY, USA }
                        }

                        %0 Journal Article
                        %D 2012
                        %A H. Hachichi
                        %A I.Kitouni
                        %A D.E. Saidouni
                        %T Transforming DATA* with Dotty Format to Aggregate Region Automaton%T 
                        %J International Journal of Computer Applications
                        %V 37
                        %N 10
                        %P 35-42
                        %R 10.5120/4647-6721
                        %I Foundation of Computer Science (FCS), NY, USA

Abstract

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 AToM3 to perform this transformation automatically.

References

Alur, R., Dill, D. L.1994. A theory of timed automata. Theoretical Computer Science, 126(2):183-235.
AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca/
Baresi, L., Hekel, R. 2004.Tutorial Introduction to graph transformation. A software Engineering perspective, Lecture Notes in Co0mputer Science, Volume 3256/2004, Springer Berlin, pp.431-433.
Belala, N. 2010. Modèles de Temps et leur Intérêt à la Vérification Formelle des Systèmes Temps-Réel. PHD’s thesis, Mentouri University, 25000 Constantine, Algeria.
Bornot, S., Sifakis, J., Tripakis, S.1997. Modeling urgency in timed systems. In Proc. International Symposium Compositionality (COMPOS’97), volume 1536 of LNCS. Springer-Verlag.
Bornot, S., Sifakis, J. 1998. On the composition of hybrid systems. In Proceedings of HSCC“98”, volume 1386 of LNCS, Springer-Verlag, pp. 69–83.
Bouyer, P. 2002. Modèles et Algorithmes pour la Vérification des Systèmes Temporisés, PhD thesis. Laboratoire Spécification et Vérification – CNRS UMR 8643 & ENS de Cachan 61, avenue du Président Wilson – 94230 Cachan – France.
Czarecki, K., Helsen, S. 2006. Feature-based survey of model transformation approaches. IBM SYSTEMS JOURNAL, VOL 45, NO 3.
De Lara, J., Vangheluwe, H. 2002. AToM3: A Tool for Multi-Formalism Modeling and Meta-Modeling. Proc. Fundamental Approaches to Software Engineering, FASE'02, Vol. 2306. LNCS. Grenoble, France, pp. 174-188.
Graphviz Home page,http://www.graphviz.org/
Hachichi, H., Kitouni, I., Saïdouni, D. E. 2011. A Graph Grammar Approach for calculation of Aggregate Regions Automata. The International Arab Conference on Information Technology (ACIT).
Karsai, G., Agrawal, A. 2004. Graph Transformations in OMG’s Model-Driven Architecture. Lecture Notes in Computer Science, Vol 3062, Springer Berlin / Heidelberg, pp.243-259.
Kitouni, I. 2008. Déterminisation des automates temporisés avec durées d’actions pour le test formel. Master’s thesis. Mentouri University, 25000 Constantine, Algeria.
Python Home page, htpp://www.python.org.
Rozenberg, G. 1997. Handbook of Graph Grammars and Computing by Graph Transformation, vol 1: Foundations, World Scientific.
Saïdouni, D. E., Courtiat, J. P. 2003. Prise en Compte des Durées d’Action dans les Algèbres de Processus par l’Utilisation de la Sémantique de Maximalité. In CFIP.2003. Hermes, France.
Saïdouni, D. E., Belala, N. 2006. Actions duration in timed models. The International Arab Conference on Information Technology (ACIT).
Saïdouni, D. E., Kitouni, I., Hachichi, H. 2011. Formalisation du calcul de l’automate des régions agrégé d'un automate temporisé avec durées d'actions. MISC REPORT 11001. Mentouri University, 25000 Constantine, Algeria.
Springntveld, J., Vaandrager, F., D'Argenio, P. 2001. Testing timed automata. Theoretical Computer Science, 254.
Stainer, A. Test d'automates temporisées. 2010. Master’s thesis, INRIA Rennes, France.
Alur, R., Dill, D. L.1994. A theory of timed automata. Theoretical Computer Science, 126(2):183-235.
AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca/
Baresi, L., Hekel, R. 2004.Tutorial Introduction to graph transformation. A software Engineering perspective, Lecture Notes in Co0mputer Science, Volume 3256/2004, Springer Berlin, pp.431-433.
Belala, N. 2010. Modèles de Temps et leur Intérêt à la Vérification Formelle des Systèmes Temps-Réel. PHD’s thesis, Mentouri University, 25000 Constantine, Algeria.
Bornot, S., Sifakis, J., Tripakis, S.1997. Modeling urgency in timed systems. In Proc. International Symposium Compositionality (COMPOS’97), volume 1536 of LNCS. Springer-Verlag.
Bornot, S., Sifakis, J. 1998. On the composition of hybrid systems. In Proceedings of HSCC“98”, volume 1386 of LNCS, Springer-Verlag, pp. 69–83.
Bouyer, P. 2002. Modèles et Algorithmes pour la Vérification des Systèmes Temporisés, PhD thesis. Laboratoire Spécification et Vérification – CNRS UMR 8643 & ENS de Cachan 61, avenue du Président Wilson – 94230 Cachan – France.
Czarecki, K., Helsen, S. 2006. Feature-based survey of model transformation approaches. IBM SYSTEMS JOURNAL, VOL 45, NO 3.
De Lara, J., Vangheluwe, H. 2002. AToM3: A Tool for Multi-Formalism Modeling and Meta-Modeling. Proc. Fundamental Approaches to Software Engineering, FASE'02, Vol. 2306. LNCS. Grenoble, France, pp. 174-188.
Graphviz Home page,http://www.graphviz.org/
Hachichi, H., Kitouni, I., Saïdouni, D. E. 2011. A Graph Grammar Approach for calculation of Aggregate Regions Automata. The International Arab Conference on Information Technology (ACIT).
Karsai, G., Agrawal, A. 2004. Graph Transformations in OMG’s Model-Driven Architecture. Lecture Notes in Computer Science, Vol 3062, Springer Berlin / Heidelberg, pp.243-259.
Kitouni, I. 2008. Déterminisation des automates temporisés avec durées d’actions pour le test formel. Master’s thesis. Mentouri University, 25000 Constantine, Algeria.
Python Home page, htpp://www.python.org.
Rozenberg, G. 1997. Handbook of Graph Grammars and Computing by Graph Transformation, vol 1: Foundations, World Scientific.
Saïdouni, D. E., Courtiat, J. P. 2003. Prise en Compte des Durées d’Action dans les Algèbres de Processus par l’Utilisation de la Sémantique de Maximalité. In CFIP.2003. Hermes, France.
Saïdouni, D. E., Belala, N. 2006. Actions duration in timed models. The International Arab Conference on Information Technology (ACIT).
Saïdouni, D. E., Kitouni, I., Hachichi, H. 2011. Formalisation du calcul de l’automate des régions agrégé d'un automate temporisé avec durées d'actions. MISC REPORT 11001. Mentouri University, 25000 Constantine, Algeria.
Springntveld, J., Vaandrager, F., D'Argenio, P. 2001. Testing timed automata. Theoretical Computer Science, 254.
Stainer, A. Test d'automates temporisées. 2010. Master’s thesis, INRIA Rennes, France.

Index Terms

Computer Science

Information Sciences

No index terms available.

Keywords

Formal validation Graph transformation DATA* Region automata Aggregate region automata AToM3.