Journal of Software:2014.25(6):1212-1224

(吉林大学计算机科学与技术学院, 吉林长春 130012)
Denotational Semantics of Tabular Expressions
ZHANG Peng,LIU Lei,LIU Hua-Xiao,JIN Ying
(College of Computer Science and Technology, Jilin University, Changchun 130012, China)
Chart / table
Similar Articles
Article :Browse 2609   Download 2269
Received:February 26, 2013    Revised:August 21, 2013
> 中文摘要: Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular 表达式建立形式的语义模型是非常必要的.针对Tabular 表达式通用模型,给出了Tabular 表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular 表达式的指称语义,分别对传统类型Tabular 表达式和新类型Tabular 表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular 表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular 表达式的语义,而且不再受Tabular 表达式模型和Tabular 表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
Abstract:Tabular expressions are a formal notation using Tabular form to organize functions or relationships, and they have been widely used in documenting and analyzing software systems. To avoid misunderstanding and to support user with trustworthy tools, the meaning of these expressions must be fully defined. This paper presents the formal grammar and denotational semantics of the Tabular expressions in general model. By defining semantics assigned equation of each syntax unit of the Tabular expressions' formal grammar, denotational semantics of the Tabular expressions is specified. In addition, the meaning of some classical Tabular expression types and new table types are described based on this semantics. Comparisons made with other semantics description methods show that the denotational semantics method defines Tabular expressions' meaning precisely without subjecting to the restrictions of models and types of Tabular expressions. The proposed method breaks the existing methods' limitations and is an effective method.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61300049);教育部新世纪优秀人才支持计划(NCET-10-0436);教育部高等学校博士学科点专项科研基金(20120061120059);中国博士后科学基金(2011M500612);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金(20101509);吉林省青年科研基金(20140520069JH) 国家自然科学基金(61300049);教育部新世纪优秀人才支持计划(NCET-10-0436);教育部高等学校博士学科点专项科研基金(20120061120059);中国博士后科学基金(2011M500612);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金(20101509);吉林省青年科研基金(20140520069JH)
Foundation items:
Reference text:


ZHANG Peng,LIU Lei,LIU Hua-Xiao,JIN Ying.Denotational Semantics of Tabular Expressions.Journal of Software,2014,25(6):1212-1224