Web服务行为一致性与相容性判定

Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.

基于开放Petri网的Web服务行为弱合理性分析

目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.

多Web服务组合兼容性的自动化验证

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。

基于Web Services的无刷新数据交换研究及应用

将实时数据通过Web的方式发布,实时显示过程参数,已经成为现代工业控制的一项热门课题。通过对XML Web Service技术和Java Script的研究,提出了一种基于B/S结构应用系统的无刷新数据交换的处理方法,可以动态更新页面的局部,而不刷新整个页面,解决了整页刷新的页面抖动效率低下等问题,并介绍了此技术在环保远程实时监控系统中的应用。