Tabular表达式中正规函数表操作的形式语义  

Formal Semantics of Operators of Normal Function Tables in Tabular Expressions

作　　者：周文博[1,2] 刘磊[1,3] 张鹏[1,2] 吕帅[1,2] ZHOU Wenbo;LIULei;ZHANG Peng;LU Shuai(College of Computer Science and Technology,Jilin University,Changchun 130012,Jilin,China;Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education,Jilin University,Changchun130012,Jilin,China;College of Software,Jilin University,Changchun 130012,Jilin,China)

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012 [2]吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012 [3]吉林大学软件学院,吉林长春130012

出　　处：《华南理工大学学报（自然科学版）》2019年第2期85-91,共7页Journal of South China University of Technology(Natural Science Edition)

基　　金：国家自然科学基金资助项目(61300049);中国博士后科学基金资助项目(2016M591482);吉林省自然科学基金资助项目(20150101054JC;20180101053JC;20190201193JC);吉林大学研究生创新基金资助项目(101832018C025)~~

摘　　要：正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.As one of typical Tabular expressions,normal function table is widely used in software documents.Semantics of operators of normal function tables was studied.Firstly,the formal grammar of normal function tables was proposed.Then,regularity,completeness and disjointness were discussed and the evaluation process was explained.Next,according to the influence range of operators,the semantics of composite operator,replace operator,extract operator and expand operator were described respectively with internal operators and external operators as classification criteria,and the closure of each operator was discussed.Finally,an elevator control system example was given to illustrate the rationality and availability of formal semantics of normal function table operators.The result of the example shows that the semantic description of normal function table operators presented in this paper is consistent with the actual result.

关 键 词：正规函数表 Tabular表达式 操作语义 软件文档 规格说明 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]