An Attribute Labeled Grid Graph Grammar and Its Application to Program Specification Forms
An Attribute Labeled Grid Graph Grammar and Its Application to Program Specification Forms
复制标题
属性标记网格图语法及其在程序规格表中的应用
DOI：
10.1007/978-3-642-32172-6_16
复制
发表时间：
2013
影响因子：
11.9
通讯作者：
T. Yaku
中科院分区：
文献类型：
--
作者：
Tomokazu Arita;T. Nishino;K. Sugita;K. Tsuchida;T. Yaku
在本文中，我们介绍了标记网格图的属性图文法，并提出了它们的应用程序生成表格形式表示程序规格表格与网格结构，如二维数组。通过上下文相关文法定义了一种属性文法，并在文法的产生式上附加了语义规则，用于形式化具有网格结构的表格及其布局信息。基于属性图语法的表格形式化使得能够检测项目放置中的语法错误，并且通过评估语法的语义规则来解决表格形式布局问题。提出了一种基于属性图语法的句法错误检测算法。表格形式的产生式序列通过该解析过程获得。基于产生式序列对文法的语义规则求值，解决了网格结构表格的表格布局问题。
In this paper, we introduce attribute graph grammars for labeled grid graphs, and propose their application to generating tabular forms representing program specification forms with grid structures, such as two-dimensional arrays. An attribute graph grammar to formalize tabular forms with grid structures and their layout information is defined by a context-sensitive graph grammar with semantic rules attached to its productions. Formalization of tabular forms based on an attribute graph grammar is enables detection of syntactic errors in item placement and solving of tabular form layout problems by evaluating the grammar’s semantic rules. A parsing algorithm is proposed for detecting syntactic errors that is based on an attribute graph grammar for labeled grid graphs representing tabular forms. The production sequence for a tabular form is obtained by this parsing process. A table layout problem for a tabular form with a grid structure is solved by evaluating the grammar’s semantic rules based on the production sequence.