网络式软件的语义过程模型及其验证技术研究
| 摘要 | 第1-9页 |
| Abstract | 第9-12页 |
| 目录 | 第12-15页 |
| 图目录 | 第15-16页 |
| 表目录 | 第16-17页 |
| 第1章 绪论 | 第17-31页 |
| ·研究背景 | 第17-22页 |
| ·网络式软件的特点 | 第18页 |
| ·网络式软件的开发模式 | 第18-20页 |
| ·网络式软件的需求工程 | 第20-21页 |
| ·O-RGPS框架下的领域建模 | 第21-22页 |
| ·研究现状 | 第22-26页 |
| ·领域工程研究现状 | 第22-23页 |
| ·需求建模研究现状 | 第23-24页 |
| ·业务过程管理研究现状 | 第24-25页 |
| ·网络式软件研究现状 | 第25-26页 |
| ·问题的提出与基本解决思想 | 第26-28页 |
| ·本文的研究内容 | 第28-31页 |
| ·主要内容 | 第28页 |
| ·组织结构 | 第28-31页 |
| 第2章 研究基础 | 第31-46页 |
| ·O-RGPS元建模框架 | 第31-36页 |
| ·角色层元模型 | 第31-32页 |
| ·目标层元模型 | 第32-33页 |
| ·过程层元模型 | 第33-34页 |
| ·服务层元模型 | 第34-35页 |
| ·层次间关系的元模型 | 第35页 |
| ·RGPS元建模框架的小结 | 第35-36页 |
| ·语义Web服务 | 第36-37页 |
| ·并发事务逻辑CTR | 第37-42页 |
| ·进程代数 | 第42-45页 |
| ·本章小结 | 第45-46页 |
| 第3章 语义过程模型框架RGPS-SPM | 第46-66页 |
| ·语义过程模型框架概述 | 第46-49页 |
| ·提出语义过程模型的动机 | 第46-47页 |
| ·语义过程模型的内容概要 | 第47-49页 |
| ·语义过程模型的形式定义 | 第49-65页 |
| ·领域本体的定义 | 第51-53页 |
| ·角色模型的定义 | 第53-55页 |
| ·目标模型的定义 | 第55-59页 |
| ·能力过程模型的定义 | 第59-64页 |
| ·语义过程模型的定义 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第4章 语义过程模型的模型语义 | 第66-97页 |
| ·语义过程模型的模型语义概述 | 第66-68页 |
| ·形式语义的动机 | 第66-67页 |
| ·模型语义概述 | 第67-68页 |
| ·语义过程模型的模型语义 | 第68-87页 |
| ·本体的模型语义 | 第68-73页 |
| ·基本类型 | 第69页 |
| ·本体的签名定义 | 第69-70页 |
| ·本体逻辑语言L_O | 第70-72页 |
| ·本体的语义 | 第72-73页 |
| ·角色模型的模型语义 | 第73-75页 |
| ·组织结构 | 第73-74页 |
| ·角色模型 | 第74-75页 |
| ·目标模型的模型语义 | 第75-78页 |
| ·目标模型的签名 | 第75页 |
| ·目标的逻辑语言L_G | 第75-77页 |
| ·目标模型的动态语义 | 第77-78页 |
| ·能力过程模型的模型语义 | 第78-82页 |
| ·过程模型的模型语义 | 第79-81页 |
| ·能力过程模型的模型语义 | 第81-82页 |
| ·语义过程模型的模型语义 | 第82-87页 |
| ·语义过程模型的一致性 | 第87-92页 |
| ·语义过程模型的抽象规约语言 | 第92-96页 |
| ·本章小结 | 第96-97页 |
| 第5章 语义过程模型的约束验证 | 第97-119页 |
| ·约束验证概述 | 第97-98页 |
| ·OWL-S过程模型 | 第98-102页 |
| ·OWL-S概述 | 第98-99页 |
| ·过程模型 | 第99-100页 |
| ·过程模型的抽象定义 | 第100-102页 |
| ·过程模型的动态语义 | 第102-111页 |
| ·变量申明及数据流结构 | 第103-105页 |
| ·过程结果 | 第105-107页 |
| ·控制结构 | 第107-109页 |
| ·过程模型的动态语义 | 第109-111页 |
| ·过程模型的约束验证 | 第111-117页 |
| ·验证性质 | 第111-112页 |
| ·案例分析及实验结果 | 第112-117页 |
| ·相关工作 | 第117-118页 |
| ·本章小结 | 第118-119页 |
| 第6章 语义过程模型的能力一致性验证 | 第119-135页 |
| ·能力一致性验证概述 | 第119-120页 |
| ·能力过程模型 | 第120-126页 |
| ·过程图 | 第120-121页 |
| ·能力过程模型的定义 | 第121-126页 |
| ·能力一致性分析 | 第126-131页 |
| ·谓词抽象技术 | 第126-127页 |
| ·抽象状态迁移关系 | 第127-129页 |
| ·验证算法 | 第129-131页 |
| ·案例分析及结果 | 第131-133页 |
| ·相关工作 | 第133-134页 |
| ·本章小结 | 第134-135页 |
| 第7章 总结与展望 | 第135-138页 |
| ·本文的主要工作 | 第135-136页 |
| ·本文的主要贡献 | 第136-137页 |
| ·下一步工作的展望 | 第137-138页 |
| 参考文献 | 第138-146页 |
| 附录A:CSPm代码 | 第146-148页 |
| 附录B:攻读博士学位期间发表的文章及主要科研成果 | 第148-150页 |
| 公开发表的学术论文 | 第148页 |
| 参与的科研项目 | 第148-150页 |
| 致谢 | 第150页 |
