摘要
本文基于图是一种可以把复杂的问题直观地表示出来的自然的方式,已应用于计算机科学的几乎所有方面,从而图转换系统(GTS)得到了广泛的用,但是在图转换系统中不同的规则复合会产生冲突,想通过计算机系统自动判断不同规则能否复合,减少规则复合人工干涉这一目的,采用了矩阵运算的方法,并且定义冲突矩阵,关联矩阵以及规则链等概念,将各个规则看作各个规则的节点,这样就形成一个有向的规则链。记作pi→pi+1→…→pj,计算各个规则链长度的方法,得到了个规则节点到其他节点的长度,通过寻找复合规则之间长度为l的规则链是否存在,从而检测出这一系列规则有无冲突。
The paper is based on the mothed which a complex problem can be expressed directly in the natural way by the graph, it has been used in almost all aspects of computer science.The graph transformation system （GTS） has been widely used, but different rules in the graph transformation system may conflict. Whether it determine the different rules have conflict by automatic computer system, it reduce the human intervention between the compound of different rules. It use the matrix operations and define the notions of conflict matrix, correlation matrix, the chains of rules, which think the rule as a node. There is a direction rules chains pi→pi＋1→……→pj the length of the chains can be calculated. It can determine whether the different rules have conflict by looking for the existence of chain which the length is l. According to the relations between the compound of rules and matrix operations, a automatic graph transformation systems detecting algorithm is put forward.
出处
《电子设计工程》
2011年第5期67-70,共4页
Electronic Design Engineering
基金
国家科技支撑计划资助项目(2008BA29B03)
河海大学自然科学基金项目(理科类)(2008432311)
关键词
图转换
矩阵运算
规则链
冲突矩阵
关联矩阵
graph transformation
matrix operations
the chains of rules
conflict matrix
correlation matrix
