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

doi:10.12141/j.issn.1000-565X.180335

华南理工大学学报(自然科学版) ›› 2019, Vol. 47 ›› Issue (2): 85-91.doi: 10.12141/j.issn.1000-565X.180335

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

周文博,刘磊,张鹏,吕帅

吉林大学计算机科学与技术学院

收稿日期:2018-07-04 修回日期:2018-11-12 出版日期:2019-02-25 发布日期:2019-01-02
通信作者: 张鹏( 1986-) ，男，讲师，主要从事软件形式化、软件测试研究 E-mail:zhangpengccst@jlu.edu.cn
作者简介:周文博( 1991-) ，男，博士生，主要从事形式化方法研究
基金资助:
国家自然科学基金资助项目( 61300049) ;中国博士后科学基金资助项目( 2016M591482) ; 吉林省自然科学基金资助项目( 20150101054JC， 20180101053JC， 20190201193JC) ;吉林大学研究生创新基金资助项目( 101832018C025)

Formal Semantics of Operators of Normal Function Tables in Tabular Expressions

ZHOU Wenbo^{1， 2} LIU Lei^{1， 3} ZHANG Peng^{1， 2 L†} Shuai^{1， 2}

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

Received:2018-07-04 Revised:2018-11-12 Online:2019-02-25 Published:2019-01-02
Contact: 张鹏( 1986-) ，男，讲师，主要从事软件形式化、软件测试研究 E-mail:zhangpengccst@jlu.edu.cn
About author:周文博( 1991-) ，男，博士生，主要从事形式化方法研究
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)

摘要/Abstract

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

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

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．

Key words: normal function table, Tabular expression, operational semantics, software documentation, specification

中图分类号:

TP311

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

[1]	刘佳琦高目. 群智感知中基于损失厌恶的激励机制[J]. 华南理工大学学报（自然科学版）, 2019, 47(8): 96-104.
[2]	黄宁黄曙光黄晖邓兆琨. 基于静态指令分配的多模块 ROP 自动构造方法[J]. 华南理工大学学报（自然科学版）, 2019, 47(6): 31-38.
[3]	黄宁黄曙光梁智超. 基于符号执行的unlink攻击检测方法[J]. 华南理工大学学报（自然科学版）, 2018, 46(8): 81-87.
[4]	林伟伟王泽涛. 基于遗传算法的 Docker 集群调度策略 [J]. 华南理工大学学报（自然科学版）, 2018, 46(3): 127-133.
[5]	周娜琴齐德昱. 基于参数化分解树的控制流二次平展混淆方法[J]. 华南理工大学学报（自然科学版）, 2015, 43(5): 132-138.
[6]	杜卿王齐轩黄东平蔡毅王涛闵华清. 基于社交关系的问答系统及最佳回答者推荐技术[J]. 华南理工大学学报（自然科学版）, 2015, 43(1): 132-139.
[7]	李牧南苏锦钿樊霞. 一种新型面向普适计算的软件体系架构模型[J]. 华南理工大学学报（自然科学版）, 2014, 42(7): 40-48.
[8]	韩迪潘志宏. 基于Android移动设备传感器的体感应用[J]. 华南理工大学学报(自然科学版), 2012, 40(9): 75-80.
[9]	贾连印奚建清李孟娟游进国刘勇苗德成. Dtrie-allpair: 高效的集合T- 覆盖连接算法[J]. 华南理工大学学报(自然科学版), 2012, 40(6): 109-117.
[10]	黄玉龙奚建清张平健方晓霖刘勇. GBLHT: 一种GPU 加速的批量插入线性哈希表[J]. 华南理工大学学报(自然科学版), 2012, 40(4): 49-56.
[11]	梁茹冰刘琼. 公路网移动终端的KNN 查询技术[J]. 华南理工大学学报(自然科学版), 2012, 40(1): 138-145,158.
[12]	陈伟丁秋林谢强. 交互式数据迁移系统及其相似检测效率优化[J]. 华南理工大学学报(自然科学版), 2004, 32(2): 58-61.
[13]	何家颖黎绍发. 一种基于虚拟数据库的分布式查询优化算法 [J]. 华南理工大学学报(自然科学版), 2003, 31(11): 24-29.
[14]	温惠英邹宪民徐建闽. 广东省公路客运站运营数据库系统设计与应用[J]. 华南理工大学学报(自然科学版), 2003, 31(11): 61-64.
[15]	范崇贵文军文贵华丁月华. 基于扩展对象 Petri 网的产品模型[J]. 华南理工大学学报(自然科学版), 2003, 31(10): 32-35.

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

Formal Semantics of Operators of Normal Function Tables in Tabular Expressions

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价