Sufficient criteria for applicability and non-applicability of rule sequences

Electronic Communications of the EASST

Volumn 10, Issue , 2008, Pages

  Lambers, Leen ^a   Ehrig, Hartmut ^a   Taentzer, Gabriele ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Analysis; Applicability of rules; Graph transformation

Indexed keywords

EID: 85042862358     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.10.139.145     Document Type: Conference Paper

References (10)

1. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In Rozenberg (ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. Chapter 3, pp. 163-245. World Scientific, 1997
2. H. Ehrig, K. Ehrig, A. Habel, K.-H. Pennemann. Constraints and Application Conditions: From Graphs to High-Level Structures. In Parisi-Presicce et al. (eds.), Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). LNCS 3256, pp. 287-303. Springer, Rome, Italy, October 2004
3. A. Habel, R. Heckel, G. Taentzer. Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae 26(3, 4):287-313, 1996
4. L. Lambers, H. Ehrig, L. Mariani, M. Pezzè. Iterative Model-driven Development of Adaptable Service-Based Applications. In proceedings of the International Conference on Automated Software Engineering. 2007
5. L. Lambers, H. Ehrig, F. Orejas. Conflict Detection for Graph Transformation with Negative Application Conditions. In Proc. Third International Conference on Graph Transformation (ICGT'06). LNCS 4178, pp. 61-76. Springer, Natal, Brazil, September 2006
6. L. Lambers, H. Ehrig, F. Orejas, U. Prange. Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. In Ehrig et al. (eds.), Workshop on Applied and Computational Category Theory (ACCAT' 07). Elsevier Science, 2007
7. L. Lambers, H. Ehrig, G. Taentzer. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Technical report, TU Berlin, 2008
8. K. Mehner, M. Monga, G. Taentzer. Interaction Analysis in Aspect-Oriented Models. In Proc. 14th IEEE International Requirements Engineering Conference. Pp. 66-75. IEEE Computer Society, Minneapolis, Minnesota, USA, September 2006
9. G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Pfaltz et al. (eds.), Application of Graph Transformations with Industrial Relevance (AGTIVE'03). Pp. 446-456. LNCS 3062, Springer, 2004. AGG-Homepage:http://tfs.cs.tu-berlin.de/agg
10. P. Velasco, J. de Lara. Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. In Jornadas de Programacion y Lenguajes (PROLE2007). 2007