摘要
为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.
作者
郭艳燕
张楠
童向荣
GUO Yan-yan ZHANG Nan TONG Xiang-rong(School of Computer and Control Engineering, Yantai University, Yantai 264005, Chin)
出处
《计算机科学》
CSCD
北大核心
2017年第2期17-30,64,共15页
Computer Science
基金
国家自然科学基金项目(61403329
61502410
61572418)
山东省自然科学基金项目(ZR2015PF010
ZR2013FQ020
ZR2014FL009
ZR2014FQ016)
山东省高等学校科技计划项目(J15LN09
J14LN23)资助
关键词
统一建模语言UML
形式化方法
顺序图
组合交互片段
指称语义
操作语义
Unified modeling language
Formal methods
Sequence diagram
Combined interaction fragments
Denotational semantics
Operational semantics
