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

Survey on Formal Semantics of UML Sequence Diagram

作　　者：郭艳燕[1] 张楠[1] 童向荣[1] GUO Yan-yan ZHANG Nan TONG Xiang-rong(School of Computer and Control Engineering, Yantai University, Yantai 264005, Chin)

机构地区：[1]烟台大学计算机与控制工程学院,烟台264005

出　　处：《计算机科学》2017年第2期17-30,64,共15页Computer Science

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

摘　　要：为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。Formal semantics of UML sequence diagrams is critical to express the dynamic interaction of software system accurately.Therefore,a well-formed sequence diagram is a prerequisite for the analysis and verification of UML model and an important guarantee to improve the reliability of software systems.In this paper,different methods used in UML sequence diagram＇s semantics were summarized and compared based on the working mechanisms and proscons,respectively.Meanwhile,the special issues with respect to how to define the semantics of UML sequence diagram were discussed as well.Finally,some specific research topics and directions in this area were suggested and proposed.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]