首页    期刊浏览 2024年12月11日 星期三
登录注册

文章基本信息

  • 标题:A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation
  • 本地全文:下载
  • 作者:Christine Natschläger ; Klaus-Dieter Schewe
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2012
  • 卷号:47
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:The algebraic graph transformation approach was initiated in 1973 and supports the rule-based modification of graphs based on pushout constructions. The vertex and edge types used within the rules (or productions) as well as possible inheritance relationships defined between them are specified in the type graph. However, the termination proof can only be accomplished for graph transformation systems without inheritance relationships. Thus, all graph transformation systems with inheritance relationships in the type graph must be flattened. To this end, the algebraic graph transformation approach provides a formal description for how to flatten the type graph as well as a definition of abstract and concrete productions. In this paper, we will extend the definitions to also consider vertices in negative application conditions with finer node types and positive application conditions. Furthermore, we will prove the semantic equivalence of the original and the flattened graph transformation system. The whole flattening algorithm is then implemented in a prototype which supports an abstract or concrete flattening of a given graph transformation system. The prototype is finally evaluated within a case study.
国家哲学社会科学文献中心版权所有