| UML顺序图形式化语义的研究综述 |
| |
| 引用本文： | 郭艳燕,张楠,童向荣.UML顺序图形式化语义的研究综述[J].计算机科学,2017,44(2):17-30, 64. |
| |
| 作者姓名： | 郭艳燕 张楠 童向荣 |
| |
| 作者单位： | 烟台大学计算机与控制工程学院 烟台264005,烟台大学计算机与控制工程学院 烟台264005,烟台大学计算机与控制工程学院 烟台264005 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61403329,0,61572418),山东省自然科学基金项目(ZR2015PF010,ZR2013FQ020,ZR2014FL009,ZR2014FQ016),山东省高等学校科技计划项目(J15LN09,J14LN23)资助 |
| |
| 摘 要： | 为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。
|
| 关 键 词： | 统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义 |
| 收稿时间： | 2016/1/13 0:00:00 |
| 修稿时间： | 2016/4/26 0:00:00 |
Survey on Formal Semantics of UML Sequence Diagram |
| |
| GUO Yan-yan,ZHANG Nan and TONG Xiang-rong.Survey on Formal Semantics of UML Sequence Diagram[J].Computer Science,2017,44(2):17-30, 64. |
| |
| Authors: | GUO Yan-yan ZHANG Nan and TONG Xiang-rong |
| |
| Affiliation: | School of Computer and Control Engineering,Yantai University,Yantai 264005,China,School of Computer and Control Engineering,Yantai University,Yantai 264005,China and School of Computer and Control Engineering,Yantai University,Yantai 264005,China |
| |
| Abstract: | |
| |
| Keywords: | Unified modeling language Formal methods Sequence diagram Combined interaction fragments Denotational semantics Operational semantics |
|
|
点击此处可从《计算机科学》下载全文 |
|
