首页> 正文

基于Pi-演算的Web服务形式化描述模型

2020-12-29阅读(588)

基于Pi-演算的Web服务形式化描述模型

论文摘要

Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服务组合，需要能够兼容其异构性的服务组合描述方法以及对组合后的服务进行验证或测试的方法。本文在总结以前的研究结果的基础上，以Pi-演算为基础，建立了Web服务形式化描述模型PiFM4WS，对Web服务以及Web服务组合的主要行为进行描述，为Web服务组合的动态体系结构提供统一的描述方法；将基于不同视角的Web服务组合描述规范的主要行为映射到PiFM4WS中，说明经过映射之后的两类描述规范具有等价性；将类型系统加入PiFM4WS模型中，细化了Web服务的相容性，提出可替换性的概念和验证方法；在PiFM4WS模型中对服务网络进行描述，为实现Web服务组合的自动化提供理论基础。本文所取得的主要研究成果如下：（1）建立Web服务形式化描述模型PiFM4WS：给出Web服务外部和内部行为的描述，即PiFM4WS的语法结构定义；给出Web服务经由交互发生组合的行为，即PiFM4WS的同构规则和操作语义。（2）为两类基于不同视角的描述规范的主要行为提供映射规则：为BPEL4WS规范以及WS-CDL规范的概念和各类行为提供PiFM4WS的描述方法，从语法定义和操作语义的角度说明两类不同规范的等价性，并指出PiFM4WS提供的对动态体系结构的描述方法是现有描述规范无法实现的。（3）基于类型化PiFM4WS的Web服务组合验证：将类型系统加入PiFM4WS中，根据子类型的关系细化Web服务的相容性，给出Web服务的可替换性的定义；根据信道是否和业务流程相关进行分类，结合Pi-演算中的代换算法，提出在动态体系结构下的Web服务可替换性的验证方法。（4）对服务网络进行形式化描述，为实现Web服务自动组合提供理论基础：将抽象服务和具体服务之间的通信信道进行结构的抽象和描述，为服务关系的形式化描述建立理论基础。综上所述，本文提出的形式化描述模型PiFM4WS、类型化的PiFM4WS以及服务网络的形式化描述，为Web服务组合提供了统一的形式化描述和验证框架，为实现Web服务的自动组合和验证提供了理论基础。

论文目录

  • 中文摘要
  • ABSTRACT
  • 第一章 绪论
  • 1.1 课题研究的背景
  • 1.2 国内外研究现状
  • 1.2.1 Web 服务的描述
  • 1.2.2 Web 服务组合的形式化模型
  • 1.2.3 Web 服务组合的验证
  • 1.3 研究目标和主要研究内容
  • 1.4 论文结构
  • 第二章 Web 服务形式化描述模型 PiFM4WS
  • 2.1 Pi-演算简介
  • 2.1.1 Pi-演算中的基本定义
  • 2.1.2 Pi-演算的同构规则
  • 2.1.3 Pi-演算的操作语义
  • 2.2 PiFM4WS 的概念定义
  • 2.3 PiFM4WS 的语法定义
  • 2.4 PiFM4WS 的同构规则
  • 2.5 PiFM4WS 的操作语义
  • 2.6 本章小结
  • 第三章 WS-CDL 和 BPEL4WS 在 PiFM4WS 中的映射
  • 3.1 BPEL4WS 的映射规则
  • 3.1.1 BPEL4WS 规范
  • 3.1.2 BPEL4WS 概念的映射规则
  • 3.1.3 BPEL4WS 原子行为的映射规则
  • 3.1.4 BPEL4WS 结构化行为的映射规则
  • 3.1.5 BPEL4WS 异常处理的映射规则
  • 3.1.6 BPEL4WS 事件处理器的映射规则
  • 3.1.7 BPEL4WS 补偿处理的映射规则
  • 3.1.8 BPEL4WS 规范的映射实例
  • 3.2 WS-CDL 的映射规则
  • 3.2.1 WS-CDL 规范
  • 3.2.2 WS-CDL 概念的映射规则
  • 3.2.3 WS-CDL 原子行为的映射规则
  • 3.2.4 WS-CDL 序结构行为的映射规则
  • 3.2.5 WS-CDL 规范的映射实例
  • 3.3 WS-CDL 和 BPEL4WS 映射的等价性
  • 3.3.1 WS-CDL 规范描述的第四方物流管理平台
  • 3.3.2 BPEL4WS 规范描述的第四方物流管理平台
  • 3.3.3 两种规范的映射之间的比较
  • 3.3.4 动态体系结构的描述方法
  • 3.4 本章小结
  • 第四章 类型化的 Web 服务形式化描述模型
  • 4.1 问题概述
  • 4.2 扩充的 Pi-演算类型系统
  • 4.3 类型化 PiFM4WS 的定义
  • 4.3.1 基本类型定义
  • 4.3.2 基本语法定义
  • 4.4 类型化 PiFM4WS 的判定规则
  • 4.4.1 值类型判定规则
  • 4.4.2 子类型关系判定规则
  • 4.4.3 服务类型良好性判定规则
  • 4.4.4 类型化 PiFM4WS 的操作语义
  • 4.5 本章小结
  • 第五章 Web 服务的可替换性及其验证方法
  • 5.1 Pi-演算中进程的等价性
  • 5.2 Web 服务的可替换性
  • 5.3 Web 服务的可替换性验证方法
  • 5.3.1 Web 服务构造时类型正确性的验证
  • 5.3.2 Web 服务运行时可替换性的验证
  • 5.4 Web 服务可替换性的实例说明
  • 5.5 本章小结
  • 第六章 服务网络中的 Web 服务形式化描述
  • 6.1 服务网络的形式化描述
  • 6.1.1 抽象服务（Abstract Service）
  • 6.1.2 服务（Service）
  • 6.1.3 信道（Channel）
  • 6.1.4 用户需求（User Requirement）
  • 6.1.5 抽象服务和服务的关系
  • 6.2 用 Pi-演算对服务网络的形式化模型进行描述
  • 6.2.1 对信道的描述
  • 6.2.2 对抽象服务通信结构的描述
  • 6.2.3 对服务通信结构的描述
  • 6.3 服务网络形式化描述的应用
  • 6.3.1 对用户需求进行的描述
  • 6.3.2 对第四方物流服务的描述
  • 6.3.3 对第三方物流模块的描述
  • 6.3.4 对银行支付服务的描述
  • 6.3.5 对整个系统结构的描述
  • 6.4 本章小结
  • 第七章 结束语
  • 7.1 本文工作总结
  • 7.2 将来进一步的研究方向
  • 参考文献
  • 发表论文和科研情况说明
  • 致谢

    • 相关论文文献

    • [1].基于模糊PI的直接转矩控制在开关磁阻电机中的研究与仿真[J]. 变频器世界 2019(12)
    • [2].基于模糊PI的开关磁阻电机直接转矩控制仿真研究[J]. 淮南师范学院学报 2020(02)
    • [3].原子层沉积PI修饰摩擦纳米发电机的研究[J]. 山东化工 2020(14)
    • [4].恒压工作模式下光伏发电系统PI参数设计[J]. 现代电子技术 2020(21)
    • [5].基于名义模型的机械手PI鲁棒滑模控制研究[J]. 西南大学学报(自然科学版) 2016(12)
    • [6].基于数字PI算法的精准施肥控制系统设计及仿真[J]. 农机化研究 2017(10)
    • [7].神经网络PI控制算法在燃气发生器上的应用[J]. 兵工自动化 2017(06)
    • [8].基于模糊PI算法的微电网主从控制策略[J]. 广东电力 2017(06)
    • [9].基于自整定PI控制器的主动队列管理算法[J]. 教育教学论坛 2014(52)
    • [10].开关磁阻电机混合模糊PI控制研究[J]. 机电工程 2015(03)
    • [11].电流和速度双闭环PI控制在机械手模型上的应用[J]. 科技创新与应用 2015(25)
    • [12].pi的二阶广义幂指函数表示搜索法[J]. 哈尔滨师范大学自然科学学报 2015(05)
    • [13].沈阳人喜欢“■■piāpiā地走”[J]. 今日辽宁 2017(03)
    • [14].单相H桥整流器的模糊PI控制实现[J]. 电力电子技术 2019(11)
    • [15].PI教学法在民族院校大学物理教学中的研究与实践[J]. 科教导刊(中旬刊) 2019(12)
    • [16].基于简化模糊规则的超声波电机模糊PI转速控制[J]. 电机技术 2019(06)
    • [17].基于神经元自适应PI算法的微电网控制策略研究[J]. 电子测量技术 2020(01)
    • [18].基于模糊PI的无刷直流电机调速系统建模与仿真研究[J]. 通信电源技术 2020(05)
    • [19].粒子群PI与滑模观测器的异步电机矢量控制[J]. 控制工程 2020(05)
    • [20].无刷直流电机模糊PI控制算法研究[J]. 轻工机械 2017(03)
    • [21].基于模糊-PI双模控制的两相伺服电动机速度控制系统[J]. 电子设计工程 2017(14)
    • [22].我国高校PI制科研机构的管理模式分析[J]. 科教文汇(中旬刊) 2017(06)
    • [23].PI因子结构类似物对恰塔努加链霉菌发酵产纳他霉素的影响[J]. 食品工业科技 2017(17)
    • [24].基于PI控制器的不确定广义系统的非脆弱耗散控制[J]. 纯粹数学与应用数学 2017(04)
    • [25].基于分数阶PI离散时间滑模控制的逆变电路[J]. 中国科技论文 2017(14)
    • [26].无刷直流电机模糊与PI双闭环调速系统的研究[J]. 安徽农业大学学报 2016(04)
    • [27].PI制下科研单位采购管理改进对策提出[J]. 现代经济信息 2015(05)
    • [28].精神困境的突围——关于《少年pi的奇幻漂流》的思考[J]. 现代语文(学术综合版) 2015(01)
    • [29].PI系统在状态检修中的应用与案例分析[J]. 湖州师范学院学报 2013(S1)
    • [30].基于PI控制的全数字锁相环设计[J]. 现代电子技术 2013(02)

    标签：;  ;  ;  

    基于Pi-演算的Web服务形式化描述模型
    下载Doc文档

    猜你喜欢

    © 2024 毕速过 版权所有 鄂ICP备12018319号-5