协同设计中并发控制加锁机制的研究与形式化描述
| 第1章 绪论 | 第1-11页 |
| 1．1 协同设计发展概况 | 第7-8页 |
| 1．2 协同设计中的并发控制机制 | 第8-10页 |
| 1．2．1 协同设计中的并发带来的问题 | 第8-9页 |
| 1．2．2 并发控制机制 | 第9-10页 |
| 1．3 本文选题 | 第10-11页 |
| 第2章 协同设计系统 | 第11-26页 |
| 2．1 协同CAD系统简介 | 第11-19页 |
| 2．1．1 共享工作空间系统 | 第11-13页 |
| 2．1．2 基于网络的系统 | 第13-17页 |
| 2．1．3 本节小结 | 第17-19页 |
| 2．2 协同设计系统结构 | 第19-22页 |
| 2．2．1 CO-S_CAD的系统结构 | 第19-21页 |
| 2．2．2 CO_S_CAD数据库管理系统 | 第21-22页 |
| 2．3 协同设计中的并发控制 | 第22-26页 |
| 2．3．1 设计问题特点 | 第22-24页 |
| 2．3．2 并发控制设计 | 第24-26页 |
| 第3章 协同设计并发控制加锁机制的研究 | 第26-35页 |
| 3．1 用户加锁的权限 | 第26-27页 |
| 3．2 常用加锁机制及其缺点 | 第27-29页 |
| 3．2．1 X锁 | 第27页 |
| 3．2．2 （S，X）锁 | 第27-28页 |
| 3．2．3 （S，U，X）锁 | 第28-29页 |
| 3．3 多粒度加锁机制及其缺点和解决方案 | 第29-32页 |
| 3．3．1 意项锁 | 第29-31页 |
| 3．3．2 意项锁的缺点及其解决方案 | 第31-32页 |
| 3．4 死锁的检测和处理 | 第32-35页 |
| 3．4．1 超时法 | 第33页 |
| 3．4．2 等待图法 | 第33-34页 |
| 3．4．3 死锁的处理 | 第34-35页 |
| 第4章 并发控制加锁机制的形式化描述 | 第35-51页 |
| 4．1 形式化方法和规约 | 第35-38页 |
| 4．1．1 基本原理 | 第35页 |
| 4．1．2 形式化方法 | 第35-37页 |
| 4．1．3 形式化语言 | 第37-38页 |
| 4．2 RAISE规约语言 | 第38-41页 |
| 4．2．1 RAISE的背景 | 第38页 |
| 4．2．2 基本概念 | 第38-41页 |
| 4．3 加锁机制的形式化描述 | 第41-51页 |
| 4．3．1 设计问题的描述 | 第41-44页 |
| 4．3．2 协同设计人员管理的描述 | 第44-46页 |
| 4．3．3 加锁机制的描述 | 第46-51页 |
| 第5章 并发控制加锁机制的验证与实现 | 第51-57页 |
| 5．1 加锁机制的RAISE工具实现 | 第51页 |
| 5．2 加锁机制的语言C++语言实现 | 第51-54页 |
| 5．3 直观显示 | 第54-57页 |
| 结论 | 第57-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-65页 |
| 攻读硕士学位期间所发表的论文 | 第65页 |
