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

• 作者: 刘华虓 刘磊 张鹏 金英
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Tabular表达式 指称语义 软件说明文档
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 软件学报
• 页码范围: 1212-1224
• 页数: 13页
• 分类号: TP311
• 字数: 10763字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004515

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张鹏	吉林大学计算机科学与技术学院	149	677	14.0	17.0
3	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
4	刘华虓	吉林大学计算机科学与技术学院	6	35	2.0	5.0