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

• 作者: 张楠 童向荣 郭艳燕
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义
• 年，卷（期）: 2017,（2）
• 页码范围: 17-30,64
• 页数: 15页
• 分类号: TP311.5
• 字数: 21473字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.02.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童向荣	烟台大学计算机与控制工程学院	50	273	10.0	14.0
2	张楠	烟台大学计算机与控制工程学院	21	64	5.0	7.0
3	郭艳燕	烟台大学计算机与控制工程学院	27	142	8.0	10.0