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

摘要：

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图(MSCCFG), 从而获取顺序图的控制流信息.

关键词：UML2.0顺序图、活动图、控制流分析、并发控制流、消息、动作

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60473003;国家高等教育博士生计划研究基金20050183065

在线出版日期：2007-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：595-600