计算机科学与技术

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

展开
  • 吉林大学计算机科学与技术学院
周文博( 1991-) ,男,博士生,主要从事形式化方法研究

收稿日期: 2018-07-04

  修回日期: 2018-11-12

  网络出版日期: 2019-01-02

基金资助

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

Formal Semantics of Operators of Normal Function Tables in Tabular Expressions
 

Expand
  •  1. College of Computer Science and Technology,Jilin University,Changchun 130012,Jilin,China; 2. Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education,Jilin University,Changchun 130012,Jilin,China; 3. College of Software,Jilin University,Changchun 130012,Jilin,China
周文博( 1991-) ,男,博士生,主要从事形式化方法研究

Received date: 2018-07-04

  Revised date: 2018-11-12

  Online published: 2019-01-02

Supported by

 Supported by the National Natural Science Foundation of China( 61300049) , the China Postdoctoral Science Foundation( 2016M591482) and the Natural Science Foundation of Jilin Province( 20150101054JC, 20180101053JC, 20190201193JC) 

摘要

正规函数表是一类典型的 Tabular 表达式,被广泛应用于软件说明文档. 文中对 Tabular 表达式中正规函数表操作的语义进行研究. 首先给出了正规函数表的形式文法, 讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程; 然后根据操作的影响范 围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作 的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作 的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性. 实例结果表明, 文中提出的正规函数表操作的语义描述与实际结果是一致的. 

本文引用格式

周文博 刘磊 张鹏 吕帅 . Tabular 表达式中正规函数表操作的形式语义[J]. 华南理工大学学报(自然科学版), 2019 , 47(2) : 85 -91 . DOI: 10.12141/j.issn.1000-565X.180335

Abstract

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. 

参考文献

 
文章导航

/