Automating the transformation-based analysis of visual languages

Formal Aspects of Computing

Volumn 22, Issue 3-4, 2010, Pages 297-326

  De Lara, Juan ^a   Vangheluwe, Hans ^b  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Domain specific visual languages; Graph transformation; Model to model transformation; Petri nets; Time; Time petri nets

Indexed keywords

AUTOMATIC GENERATION; AUTOMATIC TRANSLATION; DOMAIN-SPECIFIC VISUAL LANGUAGE; EXECUTION CONTROL; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION RULES; MODEL TO MODEL TRANSFORMATION; OPERATIONAL SEMANTICS; PRODUCTION SYSTEM; SEMANTIC DOMAINS; SOURCE LANGUAGE; STATIC INFORMATION; TIME PETRI NETS; TIMING ASPECTS; TRIPLE GRAPH GRAMMARS; VISUAL LANGUAGE;

FORMAL LANGUAGES; LINGUISTICS; PETRI NETS; QUERY LANGUAGES; SEMANTICS; WAVELET TRANSFORMS;

GRAPH THEORY;

EID: 77954085749     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-009-0114-y     Document Type: Conference Paper

References (43)

1. [AGG09] AGG home page at http://tfs.cs.tu-berlin.de/agg/
2. [ABC95] Ajmone Marsan A, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalised stochastic Petri nets. Wiley Series in Parallel Computing. Wiley? New York
3. [AMP07] André C, Mallet F, Peraldi-Frati M-A (2007) Multiform time in UML for real-time embedded applications. In: Proceedings of 13th IEEE international conference on embedded and real-time computing systems and applications, pp 232-240
4. [BeY04] Bengtsson J, YiW(2004) Timed automata: semantics, algorithms and tools. In: Proceedings of ACPN 2003. Lecture notes in computer science, vol 3098. Springer, Heidelberg, pp 87-124
5. [Bed91] Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259-273
6. [BBG06] Bézivin J, Büttner F, Gogolla M, Jouault F, Kurtev I, Lindow A (2006) Model transformations? Transformation models! In: Proceedings MoDELS'06. Lecture notes in computer science, vol 4199. Springer, Heidelberg, pp 440-453
7. [BoD01] Boyer M, Diaz M (2001) Multiple enabledness of transitions in Petri Nets with time. In: Proceedings of ninth IEEE international workshop on Petri nets and performance models (PNPM'01), pp 219-228
8. [CeM99] Cerone A, Maggiolo-Schettini A (1999) Time-based expressivity of time Petri nets for system specification. Theor Comput Sci 216:1-53
9. [EEK99] EhrigH,EngelsG, Kreowski H-J,RozenbergG(1999) Handbook of graph grammars and computing by graph transformation, vol 1. World Scientific, Mountain View
10. [EEP06] Ehrig H, Ehrig K, Prange U, Taentzer G (2006) Fundamentals of algebraic graph transformation. Springer, Heidelberg
11. [EhE08] Ehrig H, Ermel C (2008) Semantical correctness and completeness of model transformations using graph and rule transformation. In: Proceedings of ICGT'08. Lecture notes in computer science, vol 5214. Springer, Heidelberg, pp 194-210
12. [ErE07] Ermel C, Ehrig K (2007) Simulation and analysis of reconfigurable systems. In: Proceedings of AGTIVE'07, pp 261-276
13. [GLM05] Gardey G, Lime D, Magnin M, Roux OH (2005) Romeo: a tool for analyzing time Petri Nets. In: Proceedings of computer aided verification. Lecture notes in computer science, vol 3576, pp 418-423
14. [GMM91] Ghezzi C, Mandrioli D, Morasca S, Pezzé M (1991) A unified high-level petri net formalism for time-critical systems. IEEE Trans Softw Eng 17(2):160-172
15. [GuL07] Guerra E, de Lara J (2007) Event-driven grammars: relating abstract and concrete levels of Visual Languages. SoSyM 6(3): 317-347
16. [GLM09] Guerra E, de Lara J, Malizia A, Díaz P (2009) Supporting user-oriented analysis for multi-view domain-specific visual languages. Inf Softw Technol 51(4):769-784
17. [GHV02] Gyapay S,Heckel R,Varr óD(2002) Graph transformationwith time: causality and logical clocks. In: Proceedings of ICGT'02. Lecture notes in computer science, vol 2505. Springer, Heidelberg, pp 120-134
18. [HKT02] Heckel R, Küster JM, Taentzer G (2002) Confluence of typed attributed graph transformation systems. In: Proceedings of ICGT'02, Lecture notes in computer science, vol 2505. Springer, Heidelberg, pp 161-176
19. [Hec05] Heckel R (2005) Stochastic analysis of graph transformation systems: a case study in P2P Networks. In: Proceedings of ICTAC'05. Lecture notes in computer science, vol 3722, pp 53-69
20. [HoV87] Holliday MA, Vernon MK (1987) A generalized times Petri net model for performance analysis. IEEE Trans Softw Eng 13(12):1297-1310
21. [KKR08] Kappel G, Kargl H, Reiter T, Retschitzegger W, Schwinger W, Strommer M, Wimmer M (2008) A framework for building mapping operators resolving structural heterogeneities. In: Proceedings of UNISCON 2008, Lecture notes in business information processing, vol 5. Springer, Heidelberg, pp 158-174
22. [KeT08] Kelly S, Tolvanen JP (2008) Domain-specific modeling: enabling full code generation. Wiley-IEEE Computer Society Press, Los Alamitos
23. [LEO06] Lambers L, Ehrig H, Orejas F (2006) Conflict detection for graph transformation with negative application conditions. In: Proceedings of ICGT'06, Lecture notes in computer science, vol 4178, pp 61-76
24. [LaV04] de Lara J, Vangheluwe H (2004) Defining visual notations and their manipulation through meta-modelling and graph transformation. J Visual Lang Comput 15(3-4):309-330
25. [LBE07] de Lara J, Bardohl R, Ehrig H, Ehrig K, Prange U, Taentzer G (2007) Attributed graph transformation with node type inheritance. Theor Comput Sci 376(3):139-163
26. [LaG08] de Lara J, Guerra E (2008) Pattern-based model-to-model transformation. In: Proceedings ICGT'2008. Lecture notes computer science, vol 5214, pp 426-441
27. [LaV08] de Lara J, Vangheluwe H (2008) Translating model simulators to analysis models. In: Proceedings of FASE 2008, Lecture notes computer science, vol 4961. Springer, Heidelberg, pp 77-92
28. [LlO04] Llorens M, Oliver J (2004) Structural and dynamic changes in concurrent systems: reconfigurable Petri nets. IEEE Trans Comput 53(9):1147-1158
29. [MMW98] Marriott K, Meyer B, Wittenburg K (1998) A survey of visual language specification and recognition. Theory of Visual Languages. Springer, Heidelberg, pp 5-85
30. [MSU04] Mellor S, Scott K, Uhl A, Weise D (2004) MDA distilled: principles of model-driven architecture. Addison-Wesley, Reading
31. [Mer74] Merlin P (1974) A study of the recoverability of computer systems. Ph.D. Thesis, University of California, Irvine
32. [Mur89] Murata T (1989) Petri nets: properties, analysis and applications. In: Proc IEEE 77(4):541-580
33. [Pet81] Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood Cliffs
34. [Ram74] RamchandaniC(1974) Analysis of asynchronous concurrent systems by timedPetri nets.ProjectMAC,TR120, Massachussets Institute of Technology
35. [Sch94] Schürr A (1994) Specification of graph translators with triple graph grammars. In: Proceedings of WG'94. Lecture notes in computer science, vol 903. Springer, Heidelberg, pp 151-163
36. [SyV08] Syriani E,VangheluweH(2008) Programmed graph rewritingwith time for simulation-based design. In: Proceedings of ICMT 2008. Lecture notes in computer science, vol 5063. Springer, Heidelberg, pp 91-106
37. [TaR05] Taentzer G, Rensink A (2005) Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of FASE 2005, Lecture notes in computer science, vol 3442, pp 64-79
38. [UML07] UML 2.1.2 infrastructure and superstructure specification (2007). http://www.omg.org/spec/UML/2.1.2/
39. [UML05] UMLProfile for Schedulability, Performance, and Time Specification v 1.1(2005). http://www.omg.org/technology/documents/ formal/schedulability.htm
40. [UPP09] Home page of UPPAAL. http://www.uppaal.com
41. [Var06] Varro D (2006) Model transformation by example. In: Proceedings of MoDELS'06, Lecture notes in computer science, vol 4199. Springer, Heidelberg, pp 410-424
42. [VVE06] Varro D, Varro-Gyapay S, Ehrig H, Prange U, Taentzer G (2006) Termination analysis of model transformations by Petri nets. In: Proceedings of ICGT'06. Lecture notes in computer science, vol 4178. Springer, Heidelberg, pp 260-274 (Pubitemid 44608942)
43. [WaX00] Wang J, XuG(2000) Reachability Analysis of real-time systems using time Petri nets. IEEE Trans SystMan Cybern B Cybern 30(5):725-736