基于消息语义的UML2.0顺序图控制流分析
Control Flow Analysis of UML2.0 Sequence Diagram Based on Message Semantic作者机构：吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012
出 版 物：《吉林大学学报（理学版）》 (Journal of Jilin University:Science Edition)
年 卷 期：2007年第45卷第4期
页 面：595-600页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(批准号:60473003) 国家高等教育博士生计划研究基金(批准号:20050183065)
主 题：UML2.0顺序图 活动图 控制流分析 并发控制流 消息 动作
摘 要：基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息语义的并发控制流图(MSCCFG),从而获取顺序图的控制流信息.
维普期刊数据库
同方期刊数据库