Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation

被引：10
|
作者：
Ehrig, Hartmut [1 ]
Ehrig, Karsten [1 ]
机构：
[1] Tech Univ Berlin, Berlin, Germany
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 152卷 / 1-2期
关键词：
model transformation; overview; formal concepts; typed attributed graph transformation; graph transformation;
D O I：
10.1016/j.entcs.2006.01.011
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic concept where visual languages are defined by attributed type graphs only and model transformations by basic typed attributed graph transformation systems. We continue with different kinds of extensions of the basic concepts taking into account application conditions, constraints, generating graph grammars and operational semantics. The main aim is to discuss formal correctness criteria for model transformations including syntactical correctness, functional behavior and semantical correctness.
引用
收藏
页码：3 / 22
页数：20
相关论文
共 50 条
  • [1] 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
  • [2] Confluence of typed attributed graph transformation systems
    Heckel, R
    Küster, JM
    Taentzer, G
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 161 - 176
  • [3] Fundamental theory for typed attributed graph transformation
    Ehrig, H
    Prange, U
    Taentzer, G
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 161 - 177
  • [4] 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
  • [5] Towards the flexible reuse of model transformations: A formal approach based on graph transformation
    de Lara, Juan
    Guerra, Esther
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2014, 83 (5-6) : 427 - 458
  • [6] 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
  • [7] Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
    Technical University of Berlin, Germany
    不详
    [J]. Fundam Inf, 2006, 1 (31-61):
  • [8] 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
  • [9] Formal foundation of consistent EMF model transformations by algebraic graph transformation
    Biermann, Enrico
    Ermel, Claudia
    Taentzer, Gabriele
    [J]. SOFTWARE AND SYSTEMS MODELING, 2012, 11 (02): : 227 - 250
  • [10] Formal foundation of consistent EMF model transformations by algebraic graph transformation
    Enrico Biermann
    Claudia Ermel
    Gabriele Taentzer
    [J]. Software & Systems Modeling, 2012, 11 : 227 - 250
12345