论文标题
使用补充在安全图语法中编码增量NACS
Encoding Incremental NACs in Safe Graph Grammars using Complementation
论文作者
论文摘要
在用图语法（GGS）对复杂系统建模时，使用属性约束和负面应用条件（NAC）限制规则的应用很方便。但是，在GGS中具有属性和NACS，这使此类系统的行为分析（例如展开）更加复杂。我们通过使用互补技术编码NAC的方法来解决此问题。我们考虑了语法是安全且NAC是渐进的假设，我们考虑了我们编码的正确性，并概述了该结果如何扩展到不安全的，归因于语法。
In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs). However, having both attributes and NACs in GGs renders the behavioural analysis (e.g. unfolding) of such systems more complicated. We address this issue by an approach to encode NACs using a complementation technique. We consider the correctness of our encoding under the assumption that the grammar is safe and NACs are incremental, and outline how this result can be extended to unsafe, attributed grammars.
