| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 1 绪论 | 第9-12页 |
| ·选题背景 | 第9页 |
| ·研究思路与研究意义 | 第9-10页 |
| ·技术路线和研究内容 | 第10-12页 |
| 2 相关研究进展和文献综述 | 第12-18页 |
| ·BPM相关研究 | 第12-14页 |
| ·BPM | 第12页 |
| ·业务流程建模方法与技术 | 第12-13页 |
| ·业务流程分析 | 第13-14页 |
| ·Pi演算和角色网络理论 | 第14-17页 |
| ·Pi演算 | 第14-15页 |
| ·角色网络理论 | 第15-16页 |
| ·Pi演算与角色网络的比较分析 | 第16-17页 |
| ·组织间协作关系 | 第17-18页 |
| 3 面向跨组织业务协作的角色网络模型 | 第18-49页 |
| ·跨组织业务协作分析 | 第18-21页 |
| ·组织间关系分析 | 第18-19页 |
| ·跨组织协作关系分类 | 第19-20页 |
| ·跨组织业务流程特征分析 | 第20-21页 |
| ·面向跨组织业务协作的角色模型 | 第21-25页 |
| ·角色的定义及描述 | 第21-22页 |
| ·角色间的协作接口 | 第22-23页 |
| ·角色与协作接口的映射 | 第23-24页 |
| ·基于IOBCORM的跨组织业务协作的描述 | 第24-25页 |
| ·跨组织角色网络模型 | 第25-32页 |
| ·概念模型 | 第26-28页 |
| ·形式化描述 | 第28-32页 |
| ·基于IOBCORNM的实例建模 | 第32-41页 |
| ·企业登记注册实例 | 第32-35页 |
| ·企业登记注册实例建模 | 第35-41页 |
| ·基于IOBCORNM的跨组织业务流程的描述 | 第41-49页 |
| ·静态业务流程的描述 | 第41-44页 |
| ·动态业务流程的描述 | 第44-49页 |
| 4 基于IOBCORNM的角色验证与可达性分析方法 | 第49-71页 |
| ·角色验证方法 | 第49-62页 |
| ·角色描述表 | 第49-52页 |
| ·单角色验证 | 第52-53页 |
| ·多角色验证 | 第53-56页 |
| ·角色验证实例 | 第56-62页 |
| ·可达性分析方法 | 第62-71页 |
| ·静态业务流程的可达性分析 | 第64页 |
| ·动态业务流程的可达性分析 | 第64-66页 |
| ·可达性分析实例 | 第66-71页 |
| 结论 | 第71-72页 |
| 参考文献 | 第72-76页 |
| 攻读硕士学位期间发表学术论文情况 | 第76-77页 |
| 致谢 | 第77-79页 |