%0 Journal Article
%T tabular表达式的指称语义研究
%A 张鹏？
%A 刘磊？
%A 刘华虓？
%A 金英？
%J 软件学报
%P 1212-1224
%D 2014
%R 10.13328/j.cnki.jos.004515
%X tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为tabular表达式建立形式的语义模型是非常必要的.针对tabular表达式通用模型，给出了tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程，描述了tabular表达式的指称语义，分别对传统类型tabular表达式和新类型tabular表达式中一些典型表类型的指称语义进行了描述，并与其他几种tabular表达式的语义描述方法进行了比较.分析结果表明：该语义描述方法不仅准确描述了tabular表达式的语义，而且不再受tabular表达式模型和tabular表达式类型的限制，打破了现有方法的局限性，是一种非常有效的方法.
%K tabular
%K 表达式
%K 指称语义
%K 软件说明文档
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4515&flag=1