10.5120/4647-6721 |
H Hachichi, I.Kitouni and D E Saidouni. Article: Transforming DATA* with Dotty Format to Aggregate Region Automaton. International Journal of Computer Applications 37(10):35-42, January 2012. Full text available. BibTeX
@article{key:article, author = {H. Hachichi and I.Kitouni and D.E. Saidouni}, title = {Article: Transforming DATA* with Dotty Format to Aggregate Region Automaton}, journal = {International Journal of Computer Applications}, year = {2012}, volume = {37}, number = {10}, pages = {35-42}, month = {January}, note = {Full text available} }
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.