郭艳燕,张楠,童向荣.UML顺序图形式化语义的研究综述[J].计算机科学,2017,44(2):17-30, 64
UML顺序图形式化语义的研究综述
Survey on Formal Semantics of UML Sequence Diagram
投稿时间:2016-01-13  修订日期:2016-04-26
DOI:10.11896/j.issn.1002-137X.2017.02.002
中文关键词:  统一建模语言UML,形式化方法,顺序图,组合交互片段,指称语义,操作语义
英文关键词:Unified modeling language,Formal methods,Sequence diagram,Combined interaction fragments,Denotational semantics,Operational semantics
基金项目:本文受国家自然科学基金项目(61403329,0,61572418),山东省自然科学基金项目(ZR2015PF010,ZR2013FQ020,ZR2014FL009,ZR2014FQ016),山东省高等学校科技计划项目(J15LN09,J14LN23)资助
作者单位E-mail
郭艳燕 烟台大学计算机与控制工程学院 烟台264005 smallgyy@sina.com 
张楠 烟台大学计算机与控制工程学院 烟台264005  
童向荣 烟台大学计算机与控制工程学院 烟台264005  
摘要点击次数: 717
全文下载次数: 301
中文摘要:
      为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 pros&cons,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.
查看全文  查看/发表评论  下载PDF阅读器