SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Electronic Notes in Theoretical Computer Science

Volumn 152, Issue 1-2, 2006, Pages 97-109

Efficient detection of conflicts in graph-based model transformation

(3) Lambers, Leen a Ehrig, Hartmut a Orejas, Fernando b

a TECHNISCHE UNIVERSITÄT BERLIN (Germany)

b UNIVERSITAT POLITÈCNICA DE CATALUNYA (Spain)

Author keywords

Conflict; Confluence; Critical pair; Graph transformation; Model transformation

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

CONFLICT; CONFLUENCE; CRITICAL PAIR; GRAPH TRANSFORMATION; MODEL TRANSFORMATION;

GRAPH THEORY;

EID: 33644911182 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/j.entcs.2006.01.017 Document Type: Article

Times cited : (14)

References (14)

1
- 33644912706
- R.H. Annegret Habel, and G. Taentzer Graph grammars with negative application conditions 1996
- (1996) Graph Grammars with Negative Application Conditions
- Habel, R.H.A.¹ Taentzer, G.²

2
- 0001006870
- Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach
- G. Rozenberg World Scientific
- A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations 1997 World Scientific 163 245
- (1997) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations , pp. 163-245
- Corradini, A.¹ Montanari, U.² Rossi, F.³ Ehrig, H.⁴ Heckel, R.⁵ Löwe, M.⁶

3
- 33644930102
- 3 and AGG
- A. Blackwell K. Marriott A. Shimojima
- 3 and AGG A. Blackwell K. Marriott A. Shimojima Diagrammatic Representation and Inference 2004
- (2004) Diagrammatic Representation and Inference
- De Lara, J.¹ Taentzer, G.²

4
- 24644474275
- Termination criteria for model transformation
- Lecture Notes in Computer Science to appear
- Ehrig, H., K. Ehrig, J. de Lara, G. Taentzer, D. Varró and S. Varró-Gyapay, Termination criteria for model transformation, in: Proc. Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science (2005), pp. 00-00, to appear
- (2005) Proc. Fundamental Approaches to Software Engineering (FASE)
- Ehrig, H.¹ Ehrig, K.² De Lara, J.³ Taentzer, G.⁴ Varró, D.⁵ Varró-Gyapay, S.⁶

5
- 33644904693
- URL http://tfs.cs.tu-berlin.de/~ehrig/public/EEL+05.pdf

6
- 34247347694
- Constraints and application conditions: From graphs to high-level structures
- F. Parisi-Presicce P. Bottoni G. Engels LNCS 3256
- H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann Constraints and application conditions: From graphs to high-level structures F. Parisi-Presicce P. Bottoni G. Engels Proc. 2nd Int. Conference on Graph Transformation (ICGT'04) LNCS 3256 2004 287 303
- (2004) Proc. 2nd Int. Conference on Graph Transformation (ICGT'04) , pp. 287-303
- Ehrig, H.¹ Ehrig, K.² Habel, A.³ Pennemann, K.-H.⁴

7
- 33644908110
- URL http://www.cs.tu-berlin.de/~ehrig/publications/ICGT04paper3.pdf

8
- 35048866541
- Adhesive high-level replacement categories and systems
- F. Parisi-Presicce P. Bottoni G. Engels LNCS 3256
- H. Ehrig, A. Habel, J. Padberg, and U. Prange Adhesive high-level replacement categories and systems F. Parisi-Presicce P. Bottoni G. Engels Proc. 2nd Int. Conference on Graph Transformation (ICGT'04) LNCS 3256 2004 144 160
- (2004) Proc. 2nd Int. Conference on Graph Transformation (ICGT'04) , pp. 144-160
- Ehrig, H.¹ Habel, A.² Padberg, J.³ Prange, U.⁴

9
- 33644892875
- URL http://www.cs.tu-berlin.de/~ehrig/publications/ICGT04paper1.pdf

10
- 33947666925
- Fundamental theory for typed attributed graph transformation
- F. Parisi-Presicce P. Bottoni G. Engels Springer LNCS 3256
- H. Ehrig, U. Prange, and G. Taentzer Fundamental theory for typed attributed graph transformation F. Parisi-Presicce P. Bottoni G. Engels Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy LNCS 3256 2004 Springer 161 177
- (2004) Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy , pp. 161-177
- Ehrig, H.¹ Prange, U.² Taentzer, G.³

11
- 33644894298
- URL http://www.cs.tu-berlin.de/~ehrig/publications/ICGT04paper2.pdf

12
- 33644881740
- G. Huet Confluent reductions: Abstract properties and applications to term rewriting systems 1980
- (1980) Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Huet, G.¹

13
- 0000975250
- Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence
- M. Sleep M. Plasmeijer M.C. van Eekelen Wiley
- 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
- (1993) Term Graph Rewriting , pp. 201-214
- Plump, D.¹

14
- 34247342048
- AGG: A graph transformation environment for modeling and validation of software
- J. Pfaltz M. Nagl B. Boehlen Springer LNCS 3062
- G. Taentzer AGG: A Graph Transformation Environment for Modeling and Validation of Software J. Pfaltz M. Nagl B. Boehlen Application of Graph Transformations with Industrial Relevance (AGTIVE'03) LNCS 3062 2004 Springer 446 456
- (2004) Application of Graph Transformations with Industrial Relevance (AGTIVE'03) , pp. 446-456
- Taentzer, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.