GRAPH GRAMMARS - A FORMAL METHOD FOR DYNAMIC STRUCTURE TRANSFORMATION

被引：0
|
作者：
Helms, Bergen [1 ]
Eben, Katharina [1 ]
Shea, Kristina [1 ]
Lindemann, Udo [1 ]
机构：
[1] Tech Univ Munich, Inst Prod Dev, D-85748 Garching, Germany
来源：
PROCEEDINGS OF THE 11TH INTERNATIONAL DSM CONFERENCE | 2009年
关键词：
Graph grammars; meta-model; structural change;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：93 / 96
页数：4
相关论文
共 50 条
  • [1] Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation
    Flotterer, Boris
    Maximova, Maria
    Schneider, Sven
    Dyck, Johannes
    Zollner, Christian
    Giese, Holger
    Hely, Christelle
    Gaucherel, Cedric
    [J]. ECOLOGICAL INFORMATICS, 2023, 75
  • [2] AN ECONOMICAL TRANSFORMATION OF GRAPH-GRAMMARS
    RUDNICKI, A
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1993, 27 (04): : 311 - 325
  • [3] A formal definition of structured analysis with programmable graph grammars
    Baresi, L
    Pezzé, M
    [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 193 - 208
  • [4] Formal business process engineering based on graph grammars
    Klauck, C
    Muller, HJ
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 1997, 50 (2-3) : 129 - 140
  • [5] Formal Verification of Graph Grammars using Mathematical Induction
    da Costa, Simone Andre
    Ribeiro, Leila
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 43 - 60
  • [6] FORMAL MANIPULATION OF FORRESTER DIAGRAMS BY GRAPH-GRAMMARS
    DOLADO, JJ
    TORREALDEA, FJ
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1988, 18 (06): : 981 - 996
  • [7] Spatial Graph Grammars for Web information transformation
    Qiu, MK
    Song, GL
    Kong, J
    Zhang, K
    [J]. 200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 84 - 91
  • [8] STRUCTURE GRAPHS AND STRUCTURE GRAPH-GRAMMARS
    BARNARD, A
    EHLERS, EM
    HATTINGH, JH
    [J]. INFORMATION SCIENCES, 1993, 73 (03) : 235 - 271
  • [9] Formal Verification of Object-Oriented Graph Grammars Specifications
    Luedtke Ferreira, Ana Paula
    Foss, Luciana
    Ribeiro, Leila
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 101 - 114
  • [10] Formal analysis of model transformations based on triple graph grammars
    Hermann, Frank
    Ehrig, Hartmut
    Golas, Ulrike
    Orejas, Fernando
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (04)
12345