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

第一章 引言	第1-11页
·背景介绍	第7-8页
·基于代码的控制流分析	第7页
·基于模型的控制流分析	第7-8页
·相关工作	第8-10页
·本文的主要工作和组织	第10-11页
第二章 UML 2.0 顺序图和活动图	第11-19页
·UML 及UML 2.0 的改进	第11-13页
·UML 表示法和元模型	第11页
·UML 主要内容	第11-12页
·UML 2.0 的改进	第12-13页
·UML 2.0 顺序图和活动图	第13-19页
·UML 2.0 顺序图	第13-15页
·UML 2.0 活动图	第15-19页
第三章 基于消息的动作关系	第19-26页
·消息位置关系	第19-20页
·动作关系	第20-26页
·异步相继关系	第20-22页
·因果关系	第22-26页
第四章 消息顺序及到活动图的转换	第26-34页
·消息的顺序关系	第26-27页
·一般消息的顺序关系	第26页
·复合片段内部消息及与外部消息的顺序关系	第26-27页
·交互使用与外部消息的顺序关系	第27页
·关于并发的一个结论	第27页
·顺序图的并发控制流模型	第27-28页
·从顺序图到活动图的映射规则	第28-31页
·从顺序图生成并发控制流路径的步骤	第31-34页
第五章 从顺序图生成并发控制流路径的实现	第34-43页
·实例描述	第34-35页
·从顺序图生成并发控制流路径的实现	第35-43页
·系统结构图	第35-36页
·建立UML2.0 顺序图模型	第36-37页
·算法描述	第37-39页
·XML 文档的转换	第39-41页
·建立对应的活动图模型	第41-42页
·并发控制流路径CCFP	第42-43页
第六章 结束语	第43-45页
参考文献	第45-47页
摘要	第47-49页
ABSTRACT	第49-51页
致 谢	第51-52页
导师及作者简介	第52页