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

文章基本信息

  • 标题:Repotting the Geraniums: On Nested Graph Transformation Rules
  • 本地全文:下载
  • 作者:Arend Rensink ; Jan-Hendrik Kuperus
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2009
  • 卷号:18
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:We propose a scheme for rule amalgamation based on nested graph predicates. Essentially, we extend all the graphs in such a predicate with right hand sides. Whenever such an enriched nested predicate matches (i.e., is satisfied by) a given host graph, this results in many individual match morphisms, and thus many “small” rule applications. The total effect is described by the amalgamated rule. This makes for a smooth, uniform and very powerful amalgamation scheme, which we demonstrate on a number of examples. Among the examples is the following, which we believe to be inexpressible in very few other parallel rule formalism proposed in the literature: repot all flowering geraniums whose pots have cracked.
国家哲学社会科学文献中心版权所有