基于Pi演算的SCM系统建模与验证研究

摘要	第3-4页
abstract	第4页
第一章 绪论	第6-10页
1.1 研究背景及目的意义	第6-7页
1.2 国内外研究现状	第7-9页
1.3 研究内容	第9页
1.4 论文框架安排	第9-10页
第二章 相关理论研究	第10-18页
2.1 BPM	第10-11页
2.2 BPMN	第11-14页
2.3 Pi演算简介	第14-17页
2.4 本章小结	第17-18页
第三章 农产品SCM系统的建模与形式化	第18-31页
3.1 农产品SCM系统业务流程分析与建模	第18-20页
3.2 交互模式的Pi演算描述	第20-26页
3.3 农产品SCM系统业务流程形式化描述	第26-30页
3.4 本章小结	第30-31页
第四章 农产品SCM系统的模型验证	第31-47页
4.1 MWB概述	第31-32页
4.2 模型验证	第32-45页
4.3 可达性分析	第45-46页
4.4 本章小结	第46-47页
第五章 基于SSH的农产品SCM系统模块实现	第47-54页
5.1 SSH技术介绍	第47-48页
5.2 系统功能模块的实现	第48-53页
5.3 本章小结	第53-54页
第六章 总结与展望	第54-55页
6.1 工作总结	第54页
6.2 研究展望	第54-55页
参考文献	第55-58页
致谢	第58页