吉林大学学报（理学版）2007，Vol.45Issue(4)：595-600,6.
基于消息语义的UML2.0顺序图控制流分析
Control Flow Analysis of UML2.0 Sequence Diagram Based on Message Semantic
摘要
关键词
UML2.0顺序图/活动图/控制流分析/并发控制流/消息/动作分类
信息技术与安全科学引用本文复制引用
王洪媛,王琳,张家晨,金淳兆..基于消息语义的UML2.0顺序图控制流分析[J].吉林大学学报（理学版）,2007,45(4):595-600,6.基金项目
国家自然科学基金(批准号:60473003)和国家高等教育博士生计划研究基金(批准号:20050183065). （批准号:60473003）
