Event-driven grammars: Relating abstract and concrete levels of visual languages

Software and Systems Modeling

Volumn 6, Issue 3, 2007, Pages 317-347

  Guerra, Esther ^a   de Lara, Juan ^b  

^a UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^b UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

Consistency; Graph grammars; Meta modelling; Triple graph transformation; UML; Visual languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA VISUALIZATION; SYNTACTICS; USER INTERFACES;

GRAPH GRAMMARS; META-MODELLING; TRIPLE GRAPH TRANSFORMATION; VISUAL LANGUAGES;

COMPUTATIONAL GRAMMARS;

EID: 34548022361     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-007-0051-2     Document Type: Conference Paper

References (33)

1. Atkinson C. and Kühne T. (2002). Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul.
2. Bardohl R. (2002). A visual environment for visual languages. Sci. Comput. Prog. 44: 181-203
3. Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating meta modelling aspects with graph transformation for efficient visual language definition and model manipulation. In: Proceedings of ETAPS/ FASE'04, LNCS 2984, pp. 214-228. Springer, Heidelberg (2004)
4. Bottoni, P., Guerra, E., de Lara, J.: Metamodel-based definition of interaction with visual environments. In: Proceedings of the MDDAUI'06, pp. 43-46 (2006)
5. Bottoni, P., Costagliola, G.: On the definition of visual languages and their editors. Proceedings of DIAGRAMS'02, LNAI 2317, pp. 305-319. Springer, Heidelberg (2002)
6. Bottoni, P., Taentzer, G., Schürr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: Proceedings of VL'2000, pp. 59-60 (2000)
7. Cordes, B., Höscher, Kreowski, H.-J. 2004.: UML interaction diagrams: Correct translation of sequence diagrams into collaboration diagrams. In: Proceedings of AGTIVE'03, LNCS 3062, pp. 275-291. Springer, Heidelberg
8. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae, vol. 6(3-4), pp. 241-265. IOS Press (1996)
9. de Lara, J., Ermel, C., Taentzer, G., Ehrig, K.: Parallel graph transformation for model simulation applied to timed transition petri nets. In: Proceedings of GT-VMT'04, Electronic Notes in Theoretical Computer Science, vol. 109, pp. 17-29. Elsevier, Amsterdam (2004)
10. de Lara, J., Vangheluwe, H.: AToM 3: A tool for multi-formalism modelling and meta-modelling. In: Proceedings of ETAPS/FASE'02, LNCS 2306, pp. 174-188. Springer, Heidelberg. See the AToM 3 page: http:// atom3.cs.mcgill.ca (2002)
11. Vangheluwe H., Alfonseca M. and Lara J. (2004). Meta-modelling and graph grammars for multi-paradigm modelling in AToM 3. Softw. Syst. Model. 3(3): 194-209
12. Eclipse Graphical Modeling Framework (GMF) home page at: http:// www.eclipse.org/gmf/
13. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. (1). World Scientific, Singapore (1999)
14. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Proceedings of ICGT'04. LNCS 3256, pp. 144-160. Springer, Heidelberg (2004)
15. Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Proceedings of ICGT'04. LNCS 3256, pp. 161-177. Springer, Heidelberg (2004)
16. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation. In: Proceedings of 2005 IEEE VL/HCC, pp. 71-78. Dallas (USA) (2005)
17. Finkelstein A., Kramer J., Nuseibeh B., Finkelstein L. and Goedicke M. (1992). ViewPoints: A framework for integrating multiple perspectives in system development. Int. J. Softw. Eng. Knowl. Eng. 2(1): 31-57
18. Goedicke M., Enders B.E., Meyer T., Taentzer G. (1999) Towards integrating multiple perspectives by distributed graph transformation. In: Proceedings of AGTIVE'99, LNCS 1999, pp. 369-377. Springer, Heidelberg
19. Grosse-Rhode M., Bardohl R., Simeoni, M.: Interactive rule-based specification with an application to visual language definition. In: Proceedings of WADT'01, LNCS 2267, pp. 1-20. Springer, Heidelberg (2001)
20. Guerra, E., de Lara, J.: A framework for the verification of UML models. Examples using petri nets. In: Proceedings of JISBD'03. Alicante, Spain, pp. 325-334 (2003)
21. Guerra, E., de LaTa, J.: Event-driven grammars: towards the integration of meta-modelling and graph transformation. In: Proceedings of ICGT'04, LNCS 3256, pp. 54-69. Springer, Heidelberg (2004)
22. Guerra, E., Diaz, P., de Lara, J.: Supporting the automatic generation of advanced modelling environments with graph transformation rules. In: Proceedings of JISBD'05, pp. 67-74. Thomson (2005)
23. Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. In: Technical report UC3M-TR-CS-06-01 of the Universidad Carlos III (Madrid). Available at http://www.ii.uam.es/~jlara/investigacion/techRep_UC3M.pdf (2006)
24. Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Proceedings of ICGT'06, LNCS 4178, pp. 351-366. Springer, Heidelberg (2006)
25. Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. In: Proceedings of SEGRAGRA, ENTCS, vol. 2 (1995)
26. JAnsen, A.R., Marriott, K., Meyer, B.: CIDER: a component-based toolkit for creating smart diagram environments. In: Proceedings of 9th conference on distributed and multimedia systems, pp. 353-359 (2003)
27. Schürr, A.: Specification of graph translators with triple graph grammars. In: LNCS 903, pp. 151-163. Springer, Heidelberg (1994)
28. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: Model Transformation in Practice Workshop at MODELS'05. Jamaica (2005)
29. Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of FASE'05, LNCS 3442, pp. 64-79 (2005)
30. Unified Modeling Language: Diagram interchange version 2.0. June 2005. Available at: http://www.omg.org/docs/ptc/05-06-04.pdf
31. UML specification at the OMG's home page: http://www. omg.org/UML
32. Vargas, F., Roda, J.L., Estévez, A., Avila, O., Sánchez, E.V.: Generación de Editores Gráficos de Modelos para una Herramienta MDA. In: Proceedings of DSDM'06 workshop at JISBD'06. Sitges (Spain). http://www.dsic.upv.es/workshops/dsdm06 (2006)
33. Zhu, N., Grundy, J.C., Hosking, J.G., (2004) Pounamu: A meta-tool for multi-view visual language environment construction. In: Proceedings of IEEE VL/HCC, pp. 254-256