Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories

被引：0
|
作者：
Technical University of Berlin, Germany [1 ]
不详 [2 ]
机构：
来源：
Fundam Inf | 2006年 / 1卷 / 31-61期
关键词：
Software engineering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 22 条
  • [1] Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
    Ehrig, Hartmut
    Ehrig, Karsten
    Prange, Ulrike
    Thentzer, Gabriele
    [J]. FUNDAMENTA INFORMATICAE, 2006, 74 (01) : 31 - 61
  • [2] Fundamental theory for typed attributed graph transformation
    Ehrig, H
    Prange, U
    Taentzer, G
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 161 - 177
  • [3] From algebraic graph transformation to adhesive HLR categories and systems
    Prange, Ulrike
    Ehrig, Hartmut
    [J]. ALGEBRAIC INFORMATICS, 2007, 4728 : 122 - 146
  • [4] Confluence of typed attributed graph transformation systems
    Heckel, R
    Küster, JM
    Taentzer, G
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 161 - 176
  • [5] Metric Temporal Graph Logic over Typed Attributed Graphs
    Giese, Holger
    Maximova, Maria
    Sakizloglou, Lucas
    Schneider, Sven
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2019), 2019, 11424 : 282 - 298
  • [6] Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
    Ehrig, Hartmut
    Ehrig, Karsten
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 (1-2) : 3 - 22
  • [7] Typed lambda-terms in categorical attributed graph transformation
    Boisvert, Bertrand
    Feraud, Louis
    Soloviev, Sergei
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (56): : 33 - 47
  • [8] Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation
    Ehrig, H
    Ehrig, K
    Prange, U
    Taentzer, G
    [J]. 2005 IEEE Symposium on Visual Language and Human-Centric Computing, Proceedings, 2005, : 71 - 78
  • [9] CATEGORICAL FRAMEWORKS FOR GRAPH TRANSFORMATION AND HLR SYSTEMS BASED ON THE DPO APPROACH
    Ehrig, Hartmut
    Golas, Ulrike
    Hermann, Frank
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (102): : 111 - 121
  • [10] Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
    Schneider, Sven
    Dyck, Johannes
    Giese, Holger
    [J]. GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 257 - 275
123