UML顺序图形式化语义的研究综述
【图文】：
描述情景的消息顺序图ＭＳＣ（ｍｅｓｓａｇｅｓｅｑｕｅｎｃｅｃｈａｒｔ）和活性顺序图ＬＳＣ（ｌｉｖｅｓｅｑｕｅｎｃｅｃｈａｒｔ）中的元素和思想，增加了组合交互片段（ｃｏｍｂｉｎｄｅｄｆｒａｇｍｅｎｔｓ）来描述更为复杂的动态交互场景［４］。ＵＭＬ顺序图通过组合操作符来描述不同类型的组合交互片段，以达到描述多种消息控制流的目的，如表１所列。通过包含多个组合交互片段的顺序图可以描述多条包含复杂行为的路径聚合，实现多个复杂的交互情景集成到一个单独的顺序图中，如图１所示。ＯＭＧ通过弱时序ｓｅｑ连接产生含有多个组合交互片段顺序图的路径语义。ＯＭＧ官方问题网站ｈｔｔｐ：／／ｗｗｗ．ｏｍｇ．ｏｒｇ／ｉｓｓｕｒｅｓ上列举了一些已解决和尚未解决的ＵＭＬ语法和语义问题。ＯＭＧ虽然完成了对组合交互片段语法的形式化定义，但对组合交互片段语义的定义并不精确和完整。因此，组合交互片段的引入在增强ＵＭＬ顺序图表达能力的同时，也增加了理解和分析顺序图的难度，尤其是组合交互片段允许进行嵌套表示更为复杂的交互情况，导致很难从顺序图中抽取其路径语义。另外，ＯＭＧ对无效路径产生的说明也存在矛盾，例如“只有用ｎｅｇ操作符会产生无效路径”的官方描述并不准确，因为ＯＭＧ在ａｓｓｅｒｔ操作符、状态不变量（ｓｔａｔｅＩｎｖａｒｉａｎｔ）、持续约束（ｄｕｒａｔｉｏｎＣｏｎｓｔｒａｉｎｔ）和时间约束（ｔｉｍｅＣｏｎｓｔｒａｉｎｔ）的描述中也有对无效路径产生的描述。ＵＭＬ顺序图语义研究大都基于ＯＭＧ描述文档，重点关注或强调在描述文档中未定义或定义模糊的部分，重新进行精确
图与类图、对象图和状态图的一致性检测，在提出的有序分层结构树ＯＨＳＴ（ｏｒｄｅｒｅｄｈｉｅｒａｒｃｈｉｃａｌｓｔｒｕｃｔｕｒｅｔｒｅｅ）［４８－５０］抽象语法的基础上，对ＵＭＬ顺序图从静态和动态两个方面进行了语义定义。有序层次结构树展示了交互中对象消息传递间的层次关系，，而有序性体现为消息的执行顺序必须遵循有序层次树的遍历规则。带有组合交互片段的ＵＭＬ顺序图通过使用类似编程语言中的控制结构来连接基本交互。一个体现复杂交互的ＵＭＬ顺序图对应的有序分层结构树如图６所示。图６带有组合交互的顺序图实例及对应的有序分层结构树［６５］顺序图的静态语义被定义为有序分层结构树中所有消息的集合，用来检验是否和类图一致。顺序图的动态语义被定义为所有可能的事件的发生路径，路径上的事件的发生顺序必须符合有序分层结构树的遍历规则。通过顺序图的语义形式可以从中获取对象的状态转换，从而实现与ＵＭＬ对象图、状态图的一致性检测。ＬｉＸｉａｏｓｈａｎ提出的语义方法不仅有利于ＵＭＬ建模工具中模型一致性检验的实现，还可以应用到设计模型与需求模型之间的正确性推理。该语义的优势还在于能够帮助系统分析者和设计者在理解面向对象方法论和面向对象编程的基础上进行交互信息的抽取，易于理解，并且有利于将ＵＭＬ模型和面向对象编程的语言建立映射关系。由于ＬｉＸｉａｏｓｈａｎ只关注了顺序图中的同步消息，因此仅实现了ａｌｔ，ｏｐｔ和ｌｏｏｐ操作符的语义定义，没有实现能够体现并发执行相关的ｐａｒ，ｓｅｑ和ｓｔｒｉｃｔ操作符以及一致性关系操作符的语义定义。３．２．１１进程代数方法进程代数（ｐｒｏｃ
【参考文献】
相关期刊论文 前1条
1 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期
相关博士学位论文 前1条
1 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
【共引文献】
相关博士学位论文 前1条
1 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
【二级参考文献】
相关期刊论文 前3条
1 范贵生;虞慧群;陈丽琼;刘冬梅;;基于Petri网的服务组合故障诊断与处理[J];软件学报;2010年02期
2 雷丽晖;段振华;;一种基于扩展有限自动机验证组合Web服务的方法[J];软件学报;2007年12期
3 侯丽珊;金芝;吴步丹;;需求驱动的Web服务建模及其验证:一个基于本体的方法[J];中国科学E辑:信息科学;2006年10期
相关博士学位论文 前1条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院（软件研究所）;2005年
【相似文献】
相关期刊论文 前10条
1 黄玉麟;赵瑞莲;;一种基于顺序图的软件性能分析方法[J];北京化工大学学报(自然科学版);2007年S1期
2 何锋;;顺序图在软件工程实践中的演化作用分析[J];云南民族大学学报(自然科学版);2011年01期
3 张九根;顺序图设计法中的扰动和复杂结构分析[J];南京建筑工程学院学报(自然科学版);1996年02期
4 白雪生,徐光yP,史元春;相似顺序图用于视频镜头的组织[J];软件学报;1999年09期
5 宋建成;时盛芬;;运用时间顺序图和间歇控制格式化设计程序开发间歇过程计算机控制[J];炼油化工自动化;1990年04期
6 雷斌;王林章;李宣东;郑国梁;;SDT:一个面向场景规约的运行时测试工具[J];计算机科学;2006年01期
7 王璐珍,董威,陈火旺;UML顺序图的自动验证[J];计算机工程与应用;2003年29期
8 江泽凡;王林章;李宣东;郑国梁;;基于UML顺序图的测试方法[J];计算机科学;2004年07期
9 龚嘉宇;李宣东;郑国梁;;UML时间顺序图的可达性分析[J];计算机科学;2005年06期
10 谢彦辉;姚淑珍;郭峰;;顺序图至Petri网转化方法的研究与实现[J];计算机工程;2006年06期
相关博士学位论文 前1条
1 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
相关硕士学位论文 前10条
1 张坤;一种基于活性顺序图的运行时验证研究[D];华中师范大学;2015年
2 黄荣悦;职校第二课堂管理系统分析和设计[D];云南大学;2015年
3 谭云飞;基于系统顺序图的用户原型生成算法的研究[D];汕头大学;2006年
4 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
5 杨曦;一种基于UML顺序图生成测试数据的方法[D];南京航空航天大学;2008年
6 陈磊;用例图到顺序图转换的研究[D];西安电子科技大学;2009年
7 杨林;基于UML的实时系统建模及顺序图时间约束研究[D];湖南大学;2007年
8 王纪立;基于UML顺序图的测试方法的研究与实现[D];南京航空航天大学;2007年
9 王琳;基于并发语义的UML2.0顺序图控制流分析[D];吉林大学;2006年
10 阮彦锐;UML顺序图的形式化描述方法研究[D];兰州理工大学;2011年
本文编号：2579885
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2579885.html
