分布式系统形式化建模技术研究
| 第一章 引言 | 第1-15页 |
| ·研究背景 | 第9-11页 |
| ·分布式系统 | 第9-10页 |
| ·软件系统形式化描述的必要性 | 第10-11页 |
| ·研究内容 | 第11-13页 |
| ·论文的主要贡献 | 第13-14页 |
| ·论文的组织和内容安排 | 第14-15页 |
| 第二章 分布式系统形式化分析方法 | 第15-21页 |
| ·形式化方法的主要研究内容 | 第15-16页 |
| ·基于模型的方法 | 第16页 |
| ·基于逻辑的方法 | 第16-17页 |
| ·基于进程演算的方法 | 第17页 |
| ·基于网络的方法 | 第17-18页 |
| ·四类形式化方法比较 | 第18-21页 |
| 第三章 CORBA服务的形式化规范 | 第21-40页 |
| ·CORBA规范 | 第21-26页 |
| ·CORBA体系结构 | 第21-23页 |
| ·对象请求代理(ORB) | 第23-24页 |
| ·接口定义语言IDL | 第24-25页 |
| ·CORBA核心服务 | 第25-26页 |
| ·CORBA事件服务规范 | 第26-27页 |
| ·事件服务模式 | 第26页 |
| ·事件信道 | 第26-27页 |
| ·PETRI网 | 第27-35页 |
| ·Petri网概念 | 第27-28页 |
| ·Petri网性质 | 第28页 |
| ·谓词/变迁(Pr/T)网 | 第28-30页 |
| ·着色Petri网(CPN) | 第30-35页 |
| ·事件服务形式化描述 | 第35-40页 |
| ·对象接口建模 | 第35-36页 |
| ·事件服务推模式 | 第36-40页 |
| 第四章 CORBA系统安全问题 | 第40-51页 |
| ·CORBA安全服务规范 | 第40-42页 |
| ·CORBA安全服务 | 第40-41页 |
| ·主体 | 第41页 |
| ·不可否认 | 第41-42页 |
| ·标注着色PETRI网 | 第42-47页 |
| ·一个在线购物的例子 | 第42-43页 |
| ·标注着色Petri网的形式定义 | 第43-47页 |
| ·不可否认的形式分析 | 第47-51页 |
| ·责任分析 | 第48-49页 |
| ·证据 | 第49-51页 |
| 第五章 CORBA系统事务处理模拟和验证 | 第51-65页 |
| ·事务 | 第51-54页 |
| ·事务属性 | 第51-52页 |
| ·分布式事务处理系统 | 第52-53页 |
| ·CORBA对象事务服务(OTS) | 第53-54页 |
| ·时序PETRI网 | 第54-59页 |
| ·时序逻辑 | 第54-55页 |
| ·时序Petri网形式定义 | 第55-57页 |
| ·性质分析 | 第57-58页 |
| ·时序着色Petri网 | 第58-59页 |
| ·事务处理的PETRI网模型 | 第59-62页 |
| ·CORBA事务处理的性质分析 | 第62-65页 |
| 第六章 CORBA系统的工作流 | 第65-77页 |
| ·工作流 | 第65-67页 |
| ·工作流管理系统 | 第65-66页 |
| ·工作流进程(Workflow process) | 第66页 |
| ·工作流管理系统体系结构 | 第66-67页 |
| ·CORBA系统的工作流 | 第67-68页 |
| ·时间PETRI网(TPN) | 第68-70页 |
| ·时间工作流网 | 第70-77页 |
| ·时间工作流网 | 第70-73页 |
| ·性质分析 | 第73-77页 |
| 第七章 总结和进一步的工作 | 第77-79页 |
| ·本文总结 | 第77-78页 |
| ·进一步的研究工作 | 第78-79页 |
| 参考文献 | 第79-84页 |
| 发表文章目录 | 第84-85页 |
| 致谢 | 第85页 |
