MSC时间表示方法与UML序列图结合建模

!!!##$%!&’()*+,’-.**/)0’*1’,2+3’)4+,5*26/)7289!3+8()+,:;2/*;/=282’*’,?!!3’?!:/@8?##$!##$B#!BC!K#K!###!!L%D#B#$$$?0:J50a!!!##L##L!!$0:J50a?0:J50a$$50a$$?!50a#%%0:J#%!RF!LL?C!!!P!!!L##LXXDZ!C##$##!XX#ZDXX#!0:J0/77+1/:/[(/*;/JI+)8$#.R5#$?50a5*2-2/=0’=/,2*1a+*1(+1/$#S0T?50a$$?50a$$50a$?0:J$0:J50a$0:J50a$?L!L!824/)#!$?&&&&?!824/@’2*8#!$?!!,2-/,2*/#!$?$!+H7’,(8/824/#!?C!)/,+826/824/#!?$?K!824/=’4+2*#!$?C7$L#7#?Z!824/2*8/)6+,7#!?D!824/6+)2+H,/#!$?!0:J50a?L!0:J0:J$$$?0:J?!!!!0:J50a!!!L#$L?3223222322L)ol0:J$$?#!?!#!$$!?!)ol)ol$#!R$R+H7824/+H7824/#R$DD47?C#!h$h)/,824/)/,824/#h#L*7$?K#!$$C7$L#7#$$RL7$R!7#RL7$!7#$$hL7$h!7#hL7$!7#?Z#!$$824/$$R+H7824/L$h)/,824/?D#!CI$L#7#824/L#??!50a32222222322222222/22222222//2222222%*By%Lt&%yBs%Ct&+*ys$,)rpv-./0tB1-2u#pv-./0tB1-2u#pv-./0tB1-2u#l3405/uvpv-./uvouv6uvpv-./uv50a:/[(/*;/JI+)8#’?$$+$H|(($%H|B+$!7&H|+!7$$?$50a’’$!L#$$?#$$?!#$$h)/,L$h)/,h)/,L$h)/,Q-h)/,L#?!!0:J50a0:J50a$’’)%Z)!!!!!!!##?50a#$?#0:J$#?#50a0:J#?50a0:J#0:J0:J50a?0:J50a!C?%011B11/22222222/322222222322222222B111/2222220111/2222222//222222223222222223222222227vu2LRL#t7vu2QD7vu2L$$$$u189+*ysC)ol,)rpv-./!0tB1-2upv-./!0tB1-2upv-./!0tB1-2ul3405/uvpv-./uvouv6uvpv-./uv!LJ’4@(8/)L#7@7X-2,/#J’4@(8/)@7X-2,/F)2*8/):/)6/)#R#+?!F)2*8/):/)6/)@7X-2,/F)2*8/)#H?!!F)2*8/)#F)2*8/):/)6/)#F)2*8/))/,L#;#h)/,L;H?!$F)2*8/):/)6/)F)2*8/)#J’4@(8/)#=?!CJ’4@(8/)#R#h)/,h)/,L?!K#J’4@(8/))/,#R&#R?/#-#1#I?#RL#7#h)/,Lh)/,#R$?$!#?#?##?0:J50a#0:J#0:J50a#0:J50a?##?!’L(!.R5XRA/;’44/*=+82’*i?L#!L%%%?0/77+1/:/[(/*;/JI+)8!0:J’:(?’(!’(A1’/):F)/77?)’0(?%####?’!(!#?’0(?%####?’$(!?’0(?%###?’C(!?’0(?%###L?!D$*#D*!!!!!!!#$%%?%?!&L’!%%?O-0:(&&’?%L%%%%!!(!CB!!$?&’!%%?&&’?%##!%%!LL(LLBL!?&!’!%%%?JSAMP&&’?%##L%Z!LL(D#BDL?&$’!%?&&’?%##%L!!$(D!!BD!%?&C’!%?&&’?%##%!!K(KZBKZ$?&K’!%%?&&’?%###%LL!Z(D%%B%#Z?&Z’!%?&&’?BJ.0:%##L%Z!$(LBK?&D’!O-0J%RI/O’)]-,’WA/-/)/*;/0’=/,&NM)Sa’?I88@())’)1)78+*=+)=7)4’=/,?I84%L%%CB#LBL%?POSA^EaSO0SNa:5FFSAR.3TB:5FFa\JUP.3P3NMRSMBJS00AJMP:NS3PT3R&.P3Tk2*XI(+%OP3T&(*X92!!##$%$&!4B:1$2F,+$.,$%3..$25.%#+-7.+8$2*+1)%9:((1#L##L%!(+.-89/,1*(,(PW’)]-,’W4’=/,H+7/=’*O-0J27@)/7/*8/=?E’)W2=/,9(7+1/X;’44/*;/8/;I*’,’19+*=X7(@@,9;I+2*8/;I*’,’192*4’=/)*/*8/)@)27/7%+W’)]-,’W4’=/,7(@@’)82*1X7(@@,9;I+2*+*=MMX;’44/*;/H+7/=’*+1/*827126/*?:#6;21%/(P1/*8*X7(@@,9;I+2**MMX;’44/);/*W’)]-,’W4’=/,!#D#$0SNa.3TO.RU50a:‘53JJUPARJS0M.3NO.RU0:JR.0kFA::.S30RUSNa.5a2+*1%\k2*X42*1!!##$%$&!4B:1$2F,+$.,$%3..$25.%#+-7.+8$2*+1)%9:((1#L##L%!(+.-89/,1*(,(RI/824/X)/,+8/=;’*;/@872*7978/44’=/,2*1+)/2*8)’=(;/=?M+7/=’*8I/7242,+)282/7’-0:J+*=50a7/[(/*;/;I+)82*824/4’=/,2*1%0:J{7@’W/)-(,+*=/Y+;8/Y@)/772’*4/8I’=2*8242*127+@@,2/=8’50a7/[(/*;/;I+)88’/78+H,27I824/4’=/,2*1?RI(724@)’62*18I/+H2,289’-50a7/[(/*;/;I+)8{7824/4’=/,2*1+*=4//82*18I/)/[(2)/4/*87-’))/+,7978/4/7@/;2+,,9)/+,X824/7978/4?:#6;21%/((*2-2/=4’=/,2*1,+*1(+1/!50a*7/[(/*;/;I+)8*4/77+1/7/[(/*;/;I+)8!0:J*824/4’=/,2*1!+$D+MSC时间表示方法与UML序列图结合建模作者：刘亮，叶新铭作者单位：内蒙古大学,计算机学院,内蒙古,呼和浩特,010021刊名：内蒙古师范大学学报（自然科学汉文版）英文刊名：JOURNALOFINNERMONGOLIANORMALUNIVERSITY(NATURALSCIENCEEDITION)年，卷(期)：2004，33(3)被引用次数：0次参考文献(5条)1.ITU-TRecommendationZ120MessageSequenceChart(MSC)19992.RgoerSPress软件工程-实践者的研究方法20003.郑人杰.殷人昆实用软件工程20004.张海藩软件工程20025.王立福软件工程2001相似文献(10条)1.学位论文刘玥波UML序列图的形式规范与语义处理2006形式化方法借助数学方法为系统的说明、开发和验证提供了一个框架，有利于发现目标软件系统需求中的不一致性、不完整性等问题。统一建模语言UML是当前软件工程领域的研究热点，它提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境，其中也包括了大量的具有模糊、稀疏语义的标准元素。在UML规范中，静态语义是用OCL语言和自然语言描述的，而动态语义却基本上是用自然语言来描述的，因此UML缺乏一个严格的动态语义定义。UML序列图反映了系统中并发对象之间的消息交互及顺序，在软件建模中占有重要地位，所以UML序列图的形式语义研究对于增进UML的清晰性、等价性、一致性和可扩展性是十分有意义的。本文针对UML半形式化的特点主要研究如何将统一建模语言UML与形式化方法相结合，提高UML语义的准确性，实现对模型进行语义分析和一致性检验，从而可以在软件开发的早期发现系统描述的不一致或不完整，进而提高软件的可靠性和质量。本文在全面研究形式化方法的产生、作用、分类以及发展的基础上最终确定了以指称语义学对UML序列图进行形式规范；通过进一步地深入研究指称语义学以及UML序列图，本文采用指称语义学方法分别定义了序列图的语法域、抽象语法、语义域以及语义函数，从序列图的各个语法对象的功能的角度对序列图进行了形式化描述；在对序列图进行形式规范的基础上，采用了可扩展的标记语言XML文档格式对UML序列图进行存储；通过对序列图的消息时序关系以及对象状态的分析，提出了对具有全序关系的UML序列图进行语义处理的算法；在算法实现部分，使用了JAVA语言，在获取XML文档的DOM模型的基础上，利用了XML4J解析器以及JAVA语言中的集合，对XML文档的DOM模型进行了解析，通过比较XML文档中记录的对象的相邻消息的后置状态与前置状态是否一致来确定消息序列的正确性，从而实现了对UML序列图的语义处理。本文最后提供了一个具体实例，通过对描述一个具体场景的序列图的语义进行检验，发现了序列图中存在的语义错误，从而发现了系统分析阶段描述的不一致性，由此证明了本文提出的方法具有有效性以及实用性。2.学位论文江金龙UML和Petri网建模方法及其在C'4ISR系统中的应用2006本文以C'4ISR系统为应用背景，以统一建模语言(UML)和Petri网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。主要成果与创新点如下：(1)提出了基于离散事件系统规范说明(DEVS)的UML建模方法，该方法支持对模型之间耦合关系的描述，所建模型有很清晰的层次性。提出了可达矩阵分析方法，讨论在系统非运行状态下对子模型增加、替换、删除、重新组合和拆分等操作所引起接口图的变化。(2)提出了扩展CS-class(ECS-class)的发射规则，它既能在并发情况下正确的计算时间延迟，又能在冲突情况下合理的调度事件。提出了基于T-Net分解的原子级化简规则，该规则比文献[110]中规则的应用范围更广。另外还对组件级化简规则['111,122]中的规则集进行了扩展。(3)提出了基于UML和Petri网的层次建模方法，该方法采用Petri网描述系统的动态行为，然后经过分析优化后，将其转化成UML状态图和序列图。提出了信息网模型的概念，该模型不仅能描述系统的状态变化，而且能刻画出信息在模型中的流动过程。提出了转化算法，将信息网转化成状态图。对UML序列图进行了扩展，描述系统中的并发、同步、选择和汇合等特性。(4)提出了对象时间Petri网(OTPN)模型的概念，将Petri网和面向对象技术结合起来，所得模型具有模块化、多态、重用性和继承的特点。提出了基于OTPN模型的时间一致性分析方法，计算模型的时间延迟以及判断是否满足系统的时间约束条件；提出了基于OTPN模型的关联矩阵分析方法，来校验模型的可达性；提出了基于OTPN模型的死锁检测算法(DCA)，来检查模型中是否存在死锁。3.期刊论文朱剑.周家纪统一建模语言UML及应用实例-物探化探计算技术2002,24(1)UML是从众多最好的软件工程实践经验中发展而来的一种建模语言.它用标准化的图形符号来表示面向对象系统的概念,使其在软件开发前期为用户和系统分析人员提供了可以相互交流的基础,也为软件开发