服务协同式自治VO开发方法和技术研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| Abstract | 第7-9页 |
| 目次 | 第9-13页 |
| 插图和附表清单 | 第13-15页 |
| 1 绪论 | 第15-29页 |
| ·背景与动机 | 第15-17页 |
| ·相关领域的研究概况与进展 | 第17-25页 |
| ·面向服务的架构与基础设施 | 第17-19页 |
| ·自治计算系统研究概况 | 第19-21页 |
| ·策略系统的研究概况 | 第21-23页 |
| ·准则调控系统的研究概况 | 第23-24页 |
| ·相关技术小结 | 第24-25页 |
| ·本文的主要研究内容和工作基础 | 第25-27页 |
| ·本论文的组织结构 | 第27-29页 |
| 2 研究基础与相关理论 | 第29-43页 |
| ·面向主体和组织开发方法基础 | 第29-34页 |
| ·多agent组织描述框架 | 第29-32页 |
| ·面向准则调控的组织模型框架 | 第32-34页 |
| ·软件开发的形式化理论基础 | 第34-43页 |
| ·模态逻辑与软件验证 | 第35-39页 |
| ·计算树逻辑CTL | 第35-38页 |
| ·Agent的思维逻辑BDI | 第38-39页 |
| ·PN网方法 | 第39-43页 |
| ·基本PN网的相关概念 | 第40-41页 |
| ·PN网的性质 | 第41-42页 |
| ·PN网性质分析方法 | 第42-43页 |
| 3 服务协同式自治VO开发的新型技术架构 | 第43-67页 |
| ·系统技术架构的基本理性模型 | 第43-47页 |
| ·基于控制论的理性体系架构 | 第43-45页 |
| ·基于思维逻辑的理性体系架构 | 第45-47页 |
| ·基于机构准则规范调控的理性架构 | 第47页 |
| ·服务协同式自治VO的开发的总体架构设计 | 第47-50页 |
| ·MM2SC架构中的基本模型及工作机理 | 第50-65页 |
| ·MM2SC的宏观调控模型 | 第51-53页 |
| ·MM2SC的‘宏-微'连接模型 | 第53-56页 |
| ·MM2SC的微观行为管理模型 | 第56-59页 |
| ·服务协同式自治VO的自组织与优化机制 | 第59-61页 |
| ·MM2SC的联合契约运行检查机制 | 第61-63页 |
| ·MM2SC的契约异常自保护和修复机制 | 第63-65页 |
| ·相关工作比较 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 4 宏观调控E-机构规约的开发过程技术研究 | 第67-93页 |
| ·系统建模的基本原则与框架 | 第67-70页 |
| ·E-机构规约的概念剖析及开发框架研究 | 第70-85页 |
| ·角色及角色结构 | 第70-72页 |
| ·规范及一致性 | 第72-75页 |
| ·E-机构规约中的业务与流程编排 | 第75-78页 |
| ·E-机构规约中的协同交互与协议 | 第78-79页 |
| ·E-机构规约开发方法框架ESD | 第79-85页 |
| ·E-机构规约开发中的概念描述语言设计 | 第85-90页 |
| ·相关工作比较 | 第90-91页 |
| ·本章小结 | 第91-93页 |
| 5 宏观调控E-机构社交行为规范验证技术研究 | 第93-119页 |
| ·基于协同状态机的E-机构社交行为语义研究 | 第93-97页 |
| ·基于协同状态机的E-机构规范公式及语义 | 第97-100页 |
| ·E-机构规范满足性验证 | 第100-102页 |
| ·基于Petri网的E-机构社交行为建模研究 | 第102-111页 |
| ·Petri网扩展-道义Petri网 | 第103-106页 |
| ·协同组织网 | 第106-107页 |
| ·E-机构社交行为的DPN建模 | 第107-111页 |
| ·基于协同组织网的E-机构社交特性与规范分析 | 第111-115页 |
| ·相关工作比较 | 第115-116页 |
| ·本章小结 | 第116-119页 |
| 6 宏-微连接层促进服务实现的关键技术研究 | 第119-141页 |
| ·基于本体和服务适用情景的服务匹配技术 | 第119-127页 |
| ·概念分类体系与语义相容 | 第120-121页 |
| ·基于适用情景的服务描述 | 第121-123页 |
| ·服务相容的形式定义与分类 | 第123-124页 |
| ·服务供需相容匹配算法 | 第124-127页 |
| ·E-机构角色扮演与服务协商研究 | 第127-134页 |
| ·协商机制的基本要素 | 第127-128页 |
| ·协商协议 | 第128-130页 |
| ·协商内容与合同模板 | 第130-132页 |
| ·协商推理模型 | 第132-134页 |
| ·基于宏-微连接服务的自治VO试验环境设计 | 第134-137页 |
| ·相关工作比较 | 第137-138页 |
| ·本章小结 | 第138-141页 |
| 7 服务协同式自治VO系统实例开发分析 | 第141-161页 |
| ·E-机构规约开发分析实例--虚拟学术会议组织 | 第141-157页 |
| ·ACD业务任务的角色分解结构 | 第142-144页 |
| ·ACD主要业务角色交互过程及行为准则分析 | 第144-146页 |
| ·ACD角色业务规范分析及监管 | 第146-147页 |
| ·ACD领域E-机构的内部决策规则 | 第147-148页 |
| ·ACD领域业务的实施流程与协同活动分析 | 第148-150页 |
| ·ACD领域E-机构本体论设计 | 第150-153页 |
| ·ACD领域E-机构规约设计 | 第153-157页 |
| ·实例系统实现原型设计 | 第157-160页 |
| ·本章小结 | 第160-161页 |
| 8 结论与展望 | 第161-165页 |
| ·本文工作总结 | 第161-163页 |
| ·未来工作展望 | 第163-165页 |
| 参考文献 | 第165-175页 |
| 作者简历 | 第175-176页 |
