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