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

메뉴 건너뛰기

Electronic Communications of the EASST

Volumn 47, Issue , 2012, Pages

A flattening approach for attributed type graphs with inheritance in algebraic graph transformation

(2) Natschläger, Christine a Schewe, Klaus Dieter a,b

a SOFTWARE COMPETENCE CENTER HAGENBERG (Austria)

b JOHANNES KEPLER UNIVERSITY LINZ (Austria)

Author keywords

Flattening; Graph transformation; Inheritance

Indexed keywords

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

Times cited : (5)

References (10)

1
- 85042921426
- Last visited: Oct 2011
- AGG. AGG Homepage. http://user.cs.tu-berlin.de/~gragra/agg/, 2011. Last visited: Oct 2011
- (2011) AGG Homepage

2
- 33645145389
- Springer
- H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, 2006
- (2006) Fundamentals of Algebraic Graph Transformation
- Ehrig, H.¹ Ehrig, K.² Prange, U.³ Taentzer, G.⁴

3
- 85035052547
- Graph-Grammars: An Algebraic Approach
- IEEE
- H. Ehrig, M. Pfender, H. J. Schneider. Graph-Grammars: An Algebraic Approach. In Proceedings of FOCS 1973. Pp. 167-180. IEEE, 1973
- (1973) In Proceedings of FOCS 1973 , pp. 167-180
- Ehrig, H.¹ Pfender, M.² Schneider, H.J.³

4
- 84857363781
- Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
- U. Golas, L. Lambers, H. Ehrig, F. Orejas. Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theoretical Computer Science 424:46-68, 2012
- (2012) Theoretical Computer Science , vol.424 , pp. 46-68
- Golas, U.¹ Lambers, L.² Ehrig, H.³ Orejas, F.⁴

5
- 0000878664
- AGG-An Implementation of Algebraic Graph Rewriting
- M. Löwe, M. Beyer. AGG-An Implementation of Algebraic Graph Rewriting. In Rewriting Techniques and Applications. Pp. 451-456. 1993
- (1993) In Rewriting Techniques and Applications , pp. 451-456
- Löwe, M.¹ Beyer, M.²

6
- 34247352506
- Attributed graph transformation with node type inheritance
- May
- J. de Lara, R. Bardohl, H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376:139-163, May 2007
- (2007) Theor. Comput. Sci , vol.376 , pp. 139-163
- de Lara, J.¹ Bardohl, R.² Ehrig, H.³ Ehrig, K.⁴ Prange, U.⁵ Taentzer, G.⁶

7
- 80052810946
- Deontic BPMN
- In Hameurlain et al. (eds.) Springer Berlin/Heidelberg
- C. Natschläger. Deontic BPMN. In Hameurlain et al. (eds.), Database and Expert Systems Applications. Lecture Notes in Computer Science 6861, pp. 264-278. Springer Berlin/Heidelberg, 2011
- (2011) Database and Expert Systems Applications. Lecture Notes in Computer Science 6861 , pp. 264-278
- Natschläger, C.¹

8
- 34247342048
- AGG: A Graph Transformation Environment for Modeling and Validation of Software
- In Pfaltz et al. (eds.) Springer Berlin/Heidelberg
- G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Pfaltz et al. (eds.), In: Applications of Graph Transformations with Industrial Relevance (AGTIVE). Lecture Notes in Computer Science 3062, pp. 446-453. Springer Berlin/Heidelberg, 2004
- (2004) In: Applications of Graph Transformations with Industrial Relevance (AGTIVE). Lecture Notes in Computer Science 3062 , pp. 446-453
- Taentzer, G.¹

9
- 24644455404
- Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
- Cerioli (ed.), Springer Berlin/Heidelberg
- G. Taentzer, A. Rensink. Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In Cerioli (ed.), Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science 3442, pp. 64-79. Springer Berlin/Heidelberg, 2005
- (2005) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science 3442 , pp. 64-79
- Taentzer, G.¹ Rensink, A.²

10
- 33750271574
- Termination Analysis of Model Transformations by Petri Nets
- In Corradini et al. (eds.) Springer Berlin/Heidelberg
- D. Varró, S. Varró-Gyapay, H. Ehrig, U. Prange, G. Taentzer. Termination Analysis of Model Transformations by Petri Nets. In Corradini et al. (eds.), Graph Transformations. Lecture Notes in Computer Science 4178, pp. 260-274. Springer Berlin/Heidelberg, 2006
- (2006) Graph Transformations. Lecture Notes in Computer Science 4178 , pp. 260-274
- Varró, D.¹ Varró-Gyapay, S.² Ehrig, H.³ Prange, U.⁴ Taentzer, G.⁵

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