文章基本信息

标题：Symbolic Attributed Graphs for Attributed Graph Transformation
本地全文：下载
作者：Fernando Orejas ; Leen Lambers
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2010
卷号：30
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：In this paper we present a new approach to deal with attributed graphs and attributed graph transformation. This approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with a formula that constrains the possible values that we may assign to these variables. In particular, in this paper we will compare in detail this new approach with the standard approach to attributed graph transformation.