文摘
英文文摘
第1章绪论
1.1协同设计发展概况
1.2协同设计中的并发控制机制
1.2.1协同设计中的并发带来的问题
1.2.2并发控制机制
1.3本文选题
第2章协同设计系统
2.1协同CAD系统简介
2.1.1共享工作空间系统
2.1.2基于网络的系统
2.1.3本节小结
2.2协同设计系统结构
2.2.1 CO-S CAD的系统结构
2.2.2 CO S CAD数据库管理系统
2.3协同设计中的并发控制
2.3.1设计问题特点
2.3.2并发控制设计
第3章协同设计并发控制加锁机制的研究
3.1用户加锁的权限
3.2常用加锁机制及其缺点
3.2.1 X锁
3.2.2(S，X)锁
3.2.3(S，U，X)锁
3.3多粒度加锁机制及其缺点和解决方案
3.3.1意项锁
3.3.2意项锁的缺点及其解决方案
3.4死锁的检测和处理
3.4.1超时法
3.4.2等待图法
3.4.3死锁的处理
第4章并发控制加锁机制的形式化描述
4.1形式化方法和规约
4.1.1基本原理
4.1.2形式化方法
4.1.3形式化语言
4.2 RAISE规约语言
4.2.1 RAISE的背景
4.2.2基本概念
4.3加锁机制的形式化描述
4.3.1设计问题的描述
4.3.2协同设计人员管理的描述
4.3.3加锁机制的描述
第5章并发控制加锁机制的验证与实现
5.1加锁机制的RAISE工具实现
5.2加锁机制的语言C++语言实现
5.3直观显示
结论
致谢
参考文献
攻读硕士学位期间所发表的论文
