基于UML的工作流模型自动分析验证研究

摘要	第1-4页
ABSTRACT	第4-5页
目录	第5-7页
第一章 绪论	第7-10页
·课题背景	第7-8页
·本论文主要工作和目标	第8-9页
·论文结构	第9-10页
第二章 工作流概述	第10-14页
·工作流术语	第10-11页
·工作流管理系统及其功能	第11-12页
·工作流发展现状及其不足	第12-14页
第三章 模型检测	第14-24页
·模型检测的原理	第14页
·模型检测的过程	第14-15页
·时态逻辑	第15-16页
·模型检测工具SPIN	第16-24页
第四章 工作流模型的UML建模	第24-35页
·UML简介	第24-25页
·工作流过程元模型	第25-27页
·工作流模型的UML描述	第27-30页
·活动图的XML文件	第30-32页
·工作流模型的形式化描述	第32-35页
第五章 工作流模型的自动分析验证	第35-49页
·分析工作流	第35-37页
·使用模型检测工具SPIN验证工作流	第37-40页
·实例一:处理客户退款要求工作流模型的检测	第40-46页
·实例二:客户投诉处理工作流模型的检测	第46-49页
第六章 自动分析工具的设计与实现	第49-54页
·工具的基本结构	第49页
·与工作流模型有关的主要数据结构	第49-51页
·XML文档信息的读取	第51-53页
·生成PROMELA程序	第53-54页
第七章 结束语	第54-56页
·论文主要内容	第54页
·下一步工作	第54-56页
参考文献	第56-58页
作者攻读学位期间发表的学术论文	第58-59页
致谢	第59-60页