基于活动图模型的工作流形式化语义研究

摘要	第1-5页
Abstract	第5-7页
第一章 论文概述	第7-13页
·背景	第7-8页
·研究现状	第8-10页
·研究思路	第10-11页
·研究的主要内容及意义	第11-13页
第二章 相关文献	第13-20页
·工作流	第13-17页
·工作流概念	第13-14页
·工作流管理	第14-15页
·工作流系统的构架	第15-16页
·反应系统	第16-17页
·工作流规约说明	第17页
·统一建模语言UML	第17-20页
·UML简介	第17页
·UML的活动图简介	第17-18页
·UML的活动图的基本元素	第18-19页
·基于UML活动图的工作流建模	第19-20页
第三章 从活动图到活动超图	第20-29页
·运行实例及对应的UML活动图	第20页
·并发终止	第20-22页
·从活动图到活动超图的映射	第22-24页
·活动超图的形式化定义	第24-27页
·定义活动	第27-29页
第四章 工作流的活动超图形式化语义定义	第29-39页
·工作流系统的特性的进一步讨论	第29-30页
·基于活动超图的反应系统语义中的一般属性	第30-31页
·步的语义及形式化	第31-34页
·计时转换系统	第34-37页
·执行算法	第37-39页
第五章 结论和今后的工作	第39-40页
附录: 符号规则	第40-41页
致谢	第41-42页
参考文献	第42-45页