华南理工大学学报(自然科学版)

作者：周文博 刘磊 张鹏 吕帅

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

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

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

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

来源：2019年第2期

《华南理工大学学报(自然科学版)》期刊编辑部

查看华南理工大学学报(自然科学版)杂志2019年第2期