Untitled Document
| |
|
| |
Using Meta-modeling and graph grammars to process and simulate timed automata |
| |
|
|
| |
|
2nd International Conference on Software Engineering, Management & Application |
| |
|
© 2011 by OLS Journal - ISSN No : 2091-
0266 |
| |
|
Number 1 Article 1 |
| |
|
Year of Publication : 2011 |
| |
|
Authors : Mohamed El-Kamel Hamdane, Allaoui Chaoui |
| |
----------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| |
Citation |
Mohamed El-Kamel Hamdane, Allaoui Chaoui -Using Meta-modeling and graph grammars to process and simulate timed automata: OLS Journals Special Isssue on Software Engineering, Management & Application 1-2 , 2011 , Published by : OLS Journals , The society Association of Scientists, Developers and Faculties (ASDF) |
| |
----------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| |
Abstract |
|
| |
This paper explains the advantage of combining two paradigms to automatically generate a visual tool for specifying timed automata using the ATOM3 tool. By using of the UML Class diagram formalism we define a meta-model of timed automata specification. Subsequently, ATOM3 automatically generates a visual tool to build timed automata models. We also proposed a graph grammar to generate the textual code following the UPAAL model checker’s syntax for the graphical representation of timed automaton. This allows in one hand the user to avoid the errors when this description is done manually and in the other hand to use UPPAL model checker for verifying the properties. An example will be presented to illustrate the interest of this approach in a system with strict timing constraints. |
| |
----------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| |
Keywords |
: Graph transformation, Timed automata, Meta-modelling, Graph Grammars, ATOM3 |
| |
Reference : |
|
| |
- Johan Bengtsson, Wang Yi, ―Timed Automata: Semantics, Algorithms and Tools‖, Uppsala University,2004.
- De Lara, J., Vangheluwe. H, ―Using meta-Modeling and graph grammars to process GPSS models‖, Hermann Meuth, editor, 16th European Simulation Multi-conference (ESM), Society for Computer Simulation International (SCS), Darmstadt, Germany 2002, pp. 100—107.
- H. Dorr , ―Efficient Graph Rewriting and its implementation‖, Lecture Notes in Computer Science 922 Springer-Verlag, 1995.
- Taentzer. G, K. Ehrig, E. Guerra, J. Lara, L. Lengyel, T. Levendovszky, U.Prange, D. Varro, and S. Varro-Gyapay, ―Model Transformations by Graph Transformations: A Comparative Study‖, in Model Transformations in Practice Workshop at MoDELS. Montego Bay, Jamaica 2005.
- Varro, D. and A. Balogh, ―Advanced model transformation language constructs in the VIATRA2 framework‖, Science of Computer Programming,68(3), 2007, p.214-234.
- de Lara, J. and H. Vangheluwe, ―ATOM3 : A Tool for Multi-formalism and MetaModeling‖, in FASE'02.Grenoble, France 2002.
- Taentzer. G, ―AGG: A Graph Transformation Environment for Modeling and Validation of Software‖, in Workshop AGTIVE'2003, 2003.
- Levendovszky. T, L. Lengyel, G. Mezei, and H. Charaf, ―A Systematic Approach to Metamodeling Environments and Model Transformation Systems‖, in VMTS, in 2nd International Workshop on Graph Based Tools (GraBaTs) withICGT'04, Rome, Italy, 2004.
- Konigs. A, ―Model Transformations with Triple Graph Grammars‖, in Model Transformations in Practice Workshop at MoDELS'2005, Montego Bay, Jamaica 2005.
- Kalnins. A, J. Barzdins, and E. Celms, ―Model Transformation Language MOLA: Extended Patterns, in 6th International Baltic Conference DB&IS’2004, 2004.
- Agrawal. A, G. Karsai, and A. Ledeczi, ―An end-to-end domain-driven software development framework‖, in Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM: Anaheim, CA, USA, 2003.
- R. Alur, ―Techniques for automatic verification of real-time systems‖, PhD thesis, Stanford University, Stanford, CA, USA, 1992.
- R. Alur and Dill D.L, ―A theory of timed automata‖, Theoretical Computer Science, 1994, pp.126(2):183{235.
- http://atom3.cs.mcgill.ca
- H. Ehrin, G. Engels, H-J. Kreowski, G. Rozenberg, ―Handbook of Graph Grammars and Computing by Graph Transformation‖,Vol.1, World Scientific.
- Juan de Lara and Hans Vangheluwe, ―Using ATOM3 as a Meta-CASE tool‖, In 4th Inter- national Conference on Enterprise Information Systems (ICEIS), Ciudad Real, Spain April 2002, pp. 642 – 649.
- Kim G. Larsen, Paul Pettersson and Wang Yi, ―Uppaal in a NutShell‖, Int. Journal on Software Tools for Technology Transfer, 1997.
- http://www.uppaal.com
- http://en.wikipedia.org/wiki/Level_crossing#Overview
|
| |
|
|
|
