Tabular表达式的指称语义研究*

摘要：

Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为Tabular表达式建立形式的语义模型是非常必要的。针对Tabular表达式通用模型，给出了Tabular表达式的形式文法及指称语义。通过定义形式文法中各语法单元的语义指派方程，描述了 Tabular 表达式的指称语义，分别对传统类型 Tabular 表达式和新类型 Tabular 表达式中一些典型表类型的指称语义进行了描述，并与其他几种Tabular表达式的语义描述方法进行了比较。分析结果表明：该语义描述方法不仅准确描述了Tabular表达式的语义，而且不再受Tabular表达式模型和Tabular表达式类型的限制，打破了现有方法的局限性，是一种非常有效的方法。

关键词：Tabular表达式、指称语义、软件说明文档

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61300049;教育部新世纪优秀人才支持计划NCET-10-0436;教育部高等学校博士学科点专项科研基金20120061120059;中国博士后科学基金2011M500612;吉林省重点科技攻关项目20130206052GX;吉林省自然科学基金20101509;吉林省青年科研基金20140520069JH

在线出版日期：2014-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：1212-1224