基于消息语义的UML2.0顺序图控制流分析

来源 :吉林大学学报:理学版 | 被引量 : 0次 | 上传用户:asijhvherjknvn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息语义的并发控制流图(MSCCFG),从而获取顺序图的控制流信息.
其他文献
采用延时注入-反馈法研究了两个双环掺铒光纤激光器的混沌/超混沌同步.数值模拟表明,只要延时时间和反馈强度合适,两个相同的双环掺铒光纤激光器无论处于混沌状态还是处于超混沌
【正】郑政文[2010]242号二○一○年九月十日各县(市、区)人民政府,市人民政府各部门,各有关单位:为加快推进郑州国际物流园区的开发建设工作,经研究,决定成立郑州国际物流园
提出一种基于Agent的自适应分布式入侵检测系统模型,以解决大多数传统的、采用集中式的分析引擎的入侵检测系统误报率较高且缺乏自适应性的缺点;同时,针对现有大多数模型具有较
提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、
【正】郑政办[2010]17号二○一○年三月二日各县(市、区)人民政府,市人民政府各部门,各有关单位:《中共郑州市委、郑州市人民政府关于印发2010年为民办理"十大实事"的通知》(
采用溶胶-凝胶(sol-gel)法在玻璃衬底上制备ZnO/SiO2(ZSO)复合薄膜,并采用扫描电子显微镜(SEM)、X射线衍射(XRD)、紫外-可见分光光度计(UV-Vis)和光致发光(PL)谱对样品的形貌、晶体结构、
将聚类技术和遗传算法相结合,提出一种基于相似度传播算法和遗传算法的神经网络集成方法应用于手写数字识别问题.先分别利用主成分分析和Fisher线性判别分析对数据集进行特征提取,得到两类特征数据集,再利用Bagging方法分别为这两类特征数据集训练简单的BP神经网络,然后采用相似度传播算法对这些BP神经网络进行聚类,找到作为类簇中心的网络(中心网络),最后利用遗传算法对所有中心网络的权值进行训练,将中
【正】郑政文[2010]265号二○一○年十月十二日各区人民政府,郑州新区、郑州高新技术产业开发区管理委员会:根据《郑州市人民政府办公厅关于印发郑州市食品药品监督管理局主
【正】郑政办[2010]61号二○一○年六月四日各县(市、区)人民政府,市人民政府各部门,各有关单位:《郑州市构筑社会消防安全"防火墙"工程三年规划(2010—2012年)实施方案》已
我的家庭档案里弥足珍贵的就是那79封书信.每一封书信都是一段美好的回忆,每一封书信都是一个动人的故事.年代久远的一封信,是1986年12月12日表姐写给我的只有1页的平常家书.