Conflict detection for graph transformation with negative application conditions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4178 LNCS, Issue , 2006, Pages 61-76

  Lambers, Leen ^a   Ehrig, Hartmut ^a   Orejas, Fernando ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

CONFLICT DETECTION; GRAPH TRANSFORMATIONS; NEGATIVE APPLICATION CONDITIONS (NAC); PAIR CONSTRUCTION;

GRAPH THEORY;

EID: 33750263715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_6     Document Type: Conference Paper

References (15)

1. Hausmann, J., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA (2002)
2. Mens, T., Taentzer, G., Runge, O.: Detecting Structural Refactoring Conflicts using Critical Pair Analysis. In Heckel, R., Mens, T., eds.: Proc. Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra'04), Satellite Event of ICGT'04), Rome, Italy, ENTCS (2004)
3. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica (2005)
4. Bottoni, P., Schurr, A., Taentzer, G.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proc. IEEE Symposium on Visual Languages. (2000) Long version available as technical report SI-2000-06, University of Rom.
5. Koch, M., Mancini, -L., Parisi-Presicce, F.: Graph-based Specification of Acces Control Policies. In: JCSS 71. (2005) 1-33
6. Huet, G.: Confluent reductions: Abstract properties and applications to term rewriting systems. JACM 27,4 (1980) 797-821.
7. Plump, D.: Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In Sleep, M., Plasmeijer, M., van Eekelen, M.C., eds.: Term Graph Rewriting. Wiley (1993) 201-214
8. Plump, D.: Confluence of graph transformation revisited. In Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R., eds.: Processes, Terms and Cycles: Steps on the Road to Irifinity:Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Volume 3838 of Lecture Notes in Computer Science. Springer (2005) 280, 308
9. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer (2006)
10. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation I : Basic Concepts and Double Pushout Approach. In Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific (1997) 163-245
11. Annegret Habel, R.H., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26 (1996) 287-313
12. Lambers, L., Ehrig, H., Orejas, F.: Efficient detection of conflicts in graph-based model transformation. In: Proc. International Workshop on Graph and Model Transformation (GraMoT'05). Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, Elsevier Science (2005)
13. Schultzke, T.: Entwicklung und implementierung eines parsers für visuelle sprachen basierend auf kritischer paaranalyse. Master's thesis, Technische Universitä Berlin (2001)
14. Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Pfaltz, J., Nagl, M., Boehlen, B., eds.: Application of Graph Transformations with Industrial Relevance (AGTIVE'03). LNCS 3062, Springer (2004) 446 - 456
15. Lambers, L., Ehrig, H., Orejas, F.: Efficient conflict detection in graph transformation systems by essential critical pairs. In: Proc. Workshop GTVMT. (2006)