Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science

Volumn 424, Issue , 2012, Pages 46-68

  Golas, Ulrike ^a   Lambers, Leen ^b   Ehrig, Hartmut ^c   Orejas, Fernando ^d  

^a ZUSE INSTITUTE BERLIN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Critical pair analysis; Inheritance; M adhesive category with NACs; Typed attributed graph transformation

Indexed keywords

ANALYSIS RESULTS; ATTRIBUTED GRAPH TRANSFORMATIONS; ATTRIBUTED GRAPHS; CONFLICT DETECTION; CONFLUENCE ANALYSIS; CRITICAL PAIR ANALYSIS; FORMAL TECHNIQUES; GRAPH TRANSFORMATION; INHERITANCE; M-ADHESIVE CATEGORY WITH NACS; OBJECT ORIENTED SOFTWARE; REFACTORINGS;

ABSTRACTING; GRAPHIC METHODS;

GRAPH THEORY;

EID: 84857363781     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2012.01.032     Document Type: Article

References (46)

1. G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations 1997 World Scientific
2. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools 1999 World Scientific
3. F. Hermann, H. Ehrig, and G. Taentzer A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams ENTCS 211 2008 261 269 (Pubitemid 351608992)
4. T. Mens, G. Taentzer, and O. Runge Analysing refactoring dependencies using graph transformation SoSyM 6 3 2007 269 285 (Pubitemid 47278595)
5. G. Taentzer, D. Mller, and T. Mens Specifying domain-specific refactorings for AndroMDA based on graph transformation A. Schrr, M. Nagl, A. Zndorf, Proceedings of AGTIVE '07 LNCS vol. 5088 2008 Springer 104 119
6. D. Varr A formal semantics of UML statecharts by model transition systems A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg, Proceedings of ICGT '02 LNCS vol. 2505 2002 Springer 378 392
7. J. deLara, and H. Vangheluwe Defining visual notations and their manipulation through meta-modelling and graph transformation Visual Languages and Computing 15 34 2004 309 330 (Pubitemid 38956126)
8. H. Kastenberg, and A. Rensink Model checking dynamic states in GROOVE A. Valmari, Proceedings of SPIN '06 LNCS vol. 3925 2006 Springer 299 305 (Pubitemid 44019633)
9. H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer Fundamentals of Algebraic Graph Transformation 2006 Springer
10. G. Booch, R. Maksimchuk, M. Engel, B. Young, J. Conallen, and K. Houston Object-Oriented Analysis and Design with Applications 2007 Addison-Wesley
11. Object Management Group, Unified Modeling Language (UML), Version 2.0.
12. J. deLara, R. Bardohl, H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer Attributed graph transformation with node type inheritance TCS 376 3 2007 139 163 (Pubitemid 46628728)
13. H. Kastenberg, A. Kleppe, and A. Rensink Defining object-oriented execution semantics using graph transformations R. Gorrieri, H. Wehrheim, Proceedings of FMT '06 LNCS vol. 4037 2006 Springer 186 201 (Pubitemid 44090563)
14. A. Ldtke Ferreira, and L. Ribeiro Derivations in object-oriented graph grammars H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, Proceedings of ICGT 2004 LNCS vol. 3256 2004 Springer 416 430 (Pubitemid 39744724)
15. A. Ldtke Ferreira, L. Foss, and L. Reibeiro Formal verification of object-oriented graph grammars specifications ENTCS 175 2007 101 114 (Pubitemid 46977874)
16. W. Reisig On solving conflicts in Petri nets Discrete Structures and Algorithms 1979 241 254
17. K. Mehner, M. Monga, and G. Taentzer Interaction analysis in aspect-oriented models Proceedings of RE '06 2006 IEEE 66 75 (Pubitemid 351424201)
18. J. Hausmann, R. Heckel, and G. Taentzer Detection of conflicting functional requirements in a use case-driven approach Proceedings of SE '02 2002 IEEE 105 115 (Pubitemid 35009102)
19. J. Kster, C. Gerth, and G. Engels Dependent and conflicting change operations of process models R. Paige, A. Hartman, A. Rensink, Proceedings of ECMDA-FA '09 LNCS vol. 5562 2009 Springer 158 173
20. A. Bucchiarone, P. Pelliccione, C. Vattani, and O. Runge Self-repairing systems modeling and verification using AGG Proceedings of WICSA '09 2009 IEEE 181 190
21. F. Hermann, H. Ehrig, U. Golas, and F. Orejas Efficient Analysis and execution of correct and complete model transformations based on triple graph grammars J. Bzivin, R. Soley, A. Vallecillo, Proceedings of MDI '10 2010 ACM 22 31
22. H. Ehrig, C. Ermel, O. Runge, A. Bucchiarone, and P. Pelliccione Formal analysis and verification of self-healing systems D. Rosenblum, G. Taentzer, Proceedings of FASE '10 LNCS vol. 6013 2010 Springer 139 153
23. F. Hermann, H. Ehrig, F. Orejas, and U. Golas Formal analysis of functional behaviour of model transformations based on triple graph grammars H. Ehrig, A. Rensink, G. Rozenberg, A. Schrr, Proceedings ICGT '10 LNCS vol. 6372 2010 Springer 155 170
24. H. Ehrig, K. Ehrig, J. deLara, G. Taentzer, D. Varr, and S. Varr-Gyapay Termination criteria for model transformation M. Cerioli, Proceedings of FASE '05 LNCS vol. 3442 2005 Springer 49 63 (Pubitemid 41273670)
25. J. Oldevik, O. Haugen, and B. Moller-Pedersen Confluence in domain-independent product line transformations M. Chechik, M. Wirsing, Proceedings of FASE '09, Vol. 5503 2009 Springer 34 48
26. X. Liu, and D. Walker Partial confluence of processes and systems of objects TCS 206 12 1998 127 162 (Pubitemid 128451183)
27. Object Management Group, UML 2.0 OCL Specification, 2003.
28. C. Wilke, M. Thiele, and C. Wende Extending variability for OCL interpretation D. Petriu, N. Rouquette, A. Haugen, Proceedings of MoDELS '10 LNCS vol. 6394 2010 Springer 361 375
29. J. Cabot, R. Claris, E. Guerra, and J. deLara A UML/OCL framework for the analysis of graph transformation rules SoSyM 9 2010 335 357
30. T. Arendt, E. Biermann, S. Jurack, C. Krause, and G. Taentzer Henshin: advanced concepts and tools for in-place EMF model transformations D. Petriu, N. Rouquette, A. Haugen, Proceedings of MoDELS '10 LNCS vol. 6394 2010 Springer 121 135
31. G. Taentzer AGG: a graph transformation environment for modeling and validation of software J. Pfaltz, M. Nagl, B. Boehlen, Proceedings of AGTIVE '03 LNCS vol. 3062 2004 Springer 446 456
32. A. Alencar, and J. Goguen OOZE: an object oriented Z environment Proceedings of ECOOP '91 1991 Springer 180 199
33. T. Miyamoto, and S. Kumagai A survey of object-oriented Petri nets and analysis methods IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A 2005 2964 2971 (Pubitemid 41816609)
34. I. Schinz, T. Toben, C. Mrugalla, and B. Westphal The rhapsody UML verification environment Proceedings of SEFM '04 2004 IEEE 174 183 (Pubitemid 40456419)
35. N.E. Knuth, and P.B. Bendix Simple word problems in universal algebra J. Leech, Computational Problems in Abstract Algebra 1970 Pergamon 263 297
36. D. Plump Confluence of graph transformation revisited J. Leech, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday LNCS vol. 3838 2005 Springer 280 308 (Pubitemid 350259092)
37. L. Lambers, Certifying rule-based models using graph transformation, Ph.D. thesis, Technische Universitt Berlin, also as book available: Sdwestdeutscher Verlag fr Hochschulschriften, ISBN: 978-3-8381-1650-1, 2010.
38. L. Lambers, H. Ehrig, and F. Orejas Conflict detection for graph transformation with negative application conditions A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, Proceedings of ICGT '06 LNCS vol. 4178 2006 Springer 61 76 (Pubitemid 44608929)
39. L. Lambers, H. Ehrig, U. Prange, and F. Orejas Embedding and confluence of graph transformations with negative application conditions H. Ehrig, R. Heckel, G. Rozenberg, G. Taentzer, Proceedings of ICGT '08 LNCS vol. 5214 2008 Springer 162 177
40. L. Lambers, H. Ehrig, F. Orejas, and U. Prange Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions ENTCS 203 6 2008 43 66
41. G. Huet Confluent reductions: abstract properties and applications to term rewriting systems J. ACM 27 4 1980 797 821
42. D. Plump Hypergraph rewriting: critical pairs and undecidability of confluence M. Sleep, M. Plasmeijer, M.C. van Eekelen, Term Graph Rewriting 1993 Wiley 201 214
43. D. Plump On termination of graph rewriting M. Nagl, Proceedings of WG '95 LNCS vol. 1017 1995 Springer 88 100 (Pubitemid 126004119)
44. L. Lambers, H. Ehrig, and F. Orejas Efficient conflict detection in graph transformation systems by essential critical pairs Proceedings of GTVMT '06 ENTCS vol. 211 2008 Elsevier 17 26 (Pubitemid 351608972)
45. A. Habel, and K.-H. Pennemann Nested constraints and application conditions for high-level structures H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, Formal Methods in Software and Systems Modeling. Essays Dedicated to H. Ehrig on the Occasion of His 60th Birthday LNCS vol. 3393 2005 Springer 293 308 (Pubitemid 350227399)
46. H. Ehrig, A. Habel, L. Lambers, F. Orejas, and U. Golas Local confluence for rules with nested application conditions H. Ehrig, A. Rensink, G. Rozenberg, A. Schrr, Proceedings of ICGT '10 LNCS vol. 6372 2010 Springer 330 345