异步环境中的服务接口兼容分析

基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行接口兼容分析，提出一种异步环境下的接口兼容分析方法，通过这种方法，可以判定两个接口之间的异步交互行为是否是一致的，从而可以应用于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件。     

会话类E-Service的接口兼容分析

为保证最终获得的组合服务能够正确运行，首先对涉及 会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述. 然后采用 “乐观”方式进行接口兼容检查；同时针对会话类E-Service的完整性要求，提出了验证会话类E-Service接口兼容的算法，以此对业务组合过程进行设计时的检查，确保组合的正确性.     

会话类E-Service的接口兼容分析

为保证最终获得的组合服务能够正确运行，首先对涉及 会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述. 然后采用 “乐观”方式进行接口兼容检查；同时针对会话类E-Service的完整性要求，提出了验证会话类E-Service接口兼容的算法，以此对业务组合过程进行设计时的检查，确保组合的正确性.     

基于接口自动机的服务组合方法

基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的组合表示服务组合,当用户需求发生变化时,可以重新构建IA和组合IA,当需求稳定后,通过查找IA组合使用的路径就可以找到Web组合的方法,使用本文的方法可以快速生成满足用户需求的新应用系统。     

Web服务组合方法综述与分析

本文介绍了Web服务和服务组合的概念,根据Web服务组合方法的四个特性,对几种当前常用的Web服务组合方法进行了详细的分析和比较,探讨了未来Web服务组合的发展方向——自动组合方法,为研究自动Web服务组合提供借鉴。     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

网络化制造环境中的Web服务模糊匹配研究

针对网络化制造中Web服务在语义方面表达不足而难以搜索到合适服务的问题，提出Web服务的模糊匹配方法.通过分析网络化制造特点，构建网络化Web服务本体，增加网络化制造Web 服务的语义描述.在给出多种服务相似度计算方法基础上，提出网络化制造Web服务模糊匹配方法，用相似度计算定量地描述所需服务和候选服务间的匹配程度.分析结果表明，该方法增强了Web服务能力的表达，给Web服务模糊匹配提供清晰的研究对象，推动网络化制造从信息集成向服务集成的转变，为服务选用时的决策自动化提供量化参考.     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。     

Method for evaluation of web services compatibility based on the blockchain’s consensus algorithm

In the traditional Service Oriented Architecture(SOA),evaluations of services are results from accumulated remarks, which means that they lack real-time feedbacks. In this paper, we propose an advanced architecture combined by SOA and block-chain. We take the advantage of the stable time-slot generated by the consensus algorithm to clock the service pool, making it possible to evaluate the real-time states of services. Moreover, we propose a mathematical model based on the Markov Chain to assess and predict the compatibility of a service in a time-slot. And we assess and evaluate the distribution of compatibility by bringing in four well-known consensus algorithms (Bitcoin’s PoW, PPCoin’s DPoS, Fabric PBFT, PBFT+DPoS) which generate different lengths of time-slots. The result shows that our compatibility assessment model works well and that the distribution varies with different consensus algorithms with the rankings of effects as follows: PoW,PBFT,DPoS, and PBFT+DPoS.     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

一种改进的分层泛洪Web服务组合算法

为了解决从用户的需求自动地组合现有的Web服务这一 问题，〖JP2〗论文提出了一种自动Web服务组合算法，根据用户的目标以及Web服务本身的 推理能力，扩展基本的分层泛洪法，生成路径最短的Web服务调用序列，并经由启发式算法 进行优化，然后根据该序列从用户的目标回溯至用户给定的已知条件，并再次使用启发式算 法进一步优化生成一个简化的最短调用序列. 数学证明和实验结果表明，该算法可以得到较 优的Web服务组合方案.     

人机界面设计中的用户模型研究

用户模型是设计人机界面的主要依据,也是评价设计结果的主要评价标准。本文首先介绍了人机交互的基本流程,在深入研究用户认知特性的基础上,建立了用户知觉模型、认知模型、任务模型、出错模型和学习模型。基于五个基本模型的非理性用户模型的建立使得人机界面不仅能够通过认知因素来了解用户,也能够从非认知因素方面感知和理解用户。文章最后以实例论证了非理性用户模型在软件系统的应用。     

一种改进的分层泛洪Web服务组合算法

为了解决从用户的需求自动地组合现有的Web服务这一 问题，〖JP2〗论文提出了一种自动Web服务组合算法，根据用户的目标以及Web服务本身的 推理能力，扩展基本的分层泛洪法，生成路径最短的Web服务调用序列，并经由启发式算法 进行优化，然后根据该序列从用户的目标回溯至用户给定的已知条件，并再次使用启发式算 法进一步优化生成一个简化的最短调用序列. 数学证明和实验结果表明，该算法可以得到较 优的Web服务组合方案.     

多阶段可用性Web服务组合管理框架

为提高Web服务组合的可用性,更好地满足用户的服务需求,提出一种基于多阶段可用性的服务组合框架。该框架通过对可用性管理进行阶段划分,为每个阶段设定可用性的度量参数和度量方法,并从整个服务组合生命周期出发,以实现可用性的验证。相关实验表明,该框架能够尽早发现服务组合中存在的错误,降低服务错误对用户产生的影响。     

Web服务组合中基于QoS的自底向上服务替换

 为了适应开放环境中动态变化的Web服务资源,保证组合Web服务持续满足业务需要,提出一种支持QoS约束、基于自底向上的服务替换方法.从组合中需要被替换的单个服务出发,基于合成模式迭代地选出可以作为整体被替换的服务子图.使用历史数据及QoS约束对这些服务子图的备选替换服务进行筛选,并基于多属性决策方法（MADM）进行效能评估,最终选出满足全局QoS约束且使效能最大化的服务.实验结果表明,该方法能够有效扩大替换服务的选择范围,替换结果优于传统服务替换方法的结果,可以更好地保证组合服务的整体QoS指标得到维持和优化.