UML顺序图形式化语义的研究综述

摘要：

为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障.结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题.最后,对未来的研究工作与研究思路进行了梳理与展望.

关键词：统一建模语言UML、形式化方法、顺序图、组合交互片段、指称语义、操作语义

所属期刊栏目：44

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目61403329,61502410,61572418;山东省自然科学基金项目ZR2015PF010,ZR2013FQ020,ZR2014FL009,ZR2014FQ016;山东省高等学校科技计划项目J15LN09,J14LN23

在线出版日期：2017-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：17-30,64