tabular表达式的指称语义研究

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