一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.     

基于颜色Petri网的服务组合建模与验证

Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.     

物联网需求驱动的服务组合方法

为实现依据用户需求动态地组合原子服务, 形成服务集合, 提出一种基于本体的服务组合方法。首先对物联网服务进行多视图建模, 使用服务交互模型描述服务与物理实体的交互过程, 服务功能模型刻画物理世界中服务的属性和行为, 服务状态模型表示服务引起的期望状态变化, 并采用扩展的OWL描述面向物理对象的服务。同时, 采用多维QoS模型对用户的需求进行建模, 使用语义的方法进行服务的匹配与组合, 并基于QoS选择满足约束的服务。最后, 通过案例研究和实验验证了所提方法的正确性和有效性。     

基于RGPS领域资产的按需服务组合方法及实现

随着Web服务的应用和发展,使得组合Web服务来满足人们不同的业务需求成为可能.在研究当前Web服务组合的基础之上,提出一种需求驱动的Web服务组合办法,该方法基于RGPS领域资产,从而避免了在需求过程中的不明确、不一致和不完整性等.为了证明方法的正确性,文章还实现了其框架,并开发出一个套件原型来辅助基于RGPS的领域建模和需求获取与分析.     

一种隐私暴露风险控制的服务演化方法

在Web服务组合中,用户隐私保护问题被广泛关注。当服务组合中有一个或多个成员服务对用户隐私数据的需求超出用户愿意给予的范围时,Web服务组合需要能够进行调整,以保证隐私数据的暴露符合用户需求。本文基于服务演化的理论,提出一种基于用户隐私需求的服务演化方法,其核心内容在于通过控制隐私数据的引用范围来达到降低隐私暴露风险的目的。最后通过一个旅游代理的实例分析,验证了本文提出的演化方法的可行性。      

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

基于Pi演算的OWl-s的Web服务的自动组合

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

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

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

一种基于场景的需求驱动构件服务聚集方法*

针对如何根据用户需求进行Web服务的自动聚合问题,给出了一种基于场景的构件服务聚集方法.引入UCM表示场景,在场景本体的基础上,提出基于场景的责任一构件服务行为机制,用来描述用户需求和自主Web服务能力.构造了一种基于场景的需求驱动构件服务聚集模型,在该模型中,服务聚集采用功能匹配和质量匹配相结合的方法,并相应地给出了需求驱动构件服务聚集算法和基于QoS的服务选优算法,提高了服务发现效率和精确度.最后,通过案例研究和仿真实验验证了所提方法的正确性和有效性.     

基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道．最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．     

Web服务组装中的隐私暴露分析方法

保护Web服务用户的隐私已经成为目前服务计算领域的一个研究热点,但它们很少关注Web服务组装中的隐私暴露问题。针对上述不足,提出了一种Web服务组装隐私暴露分析方法。首先利用超图对服务组装隐私暴露进行建模,并给出了相应的转换方法。在此基础上提出了最小隐私暴露代价算法,利用该算法分析了隐私暴露最小的服务组装方案。最后通过实例说明了该方法的正确性及有效性。     

一种基于时变Petri网的服务组合质量检验方法

为了解决动态服务组合过程中功能执行时序与工作流的关系问题,提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响,以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式,利用时变函数表示服务的时间消耗,进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题,使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法,用于时变Petri网系统下服务组合策略的构建和验证.为了说明该方法的有效性,以一个实际电厂信息调度平台系统提供的Web服务为研究对象,通过两组仿真实验,分别说明该方法具有良好的组合成功率及使用相同候选服务集构建组合策略的有效性.实验数据和结果分析表明,该建模方法能够达到特定用户对服务功能的使用需求.     

一种多参数的Web服务选择方法

随着服务计算的快速发展，如何快速而准确地找到最优的Web服务组合是众多挑战中最重要的一项。提出了一种基于二阶隐马尔可夫模型（HMM）的服务选择方法。该方法使用服务质量（QoS）参数去区分具有相同功能的Web服务，并且选择一组最优的Web服务来执行用户请求。通过考虑两个QoS参数-吞吐量和响应时间，该方法能够解决根据设定的阈值来衡量Web服务质量的问题。通过构建的模型和算法，方法能够选择出最优的Web服务以满足用户的需求。仿真实验验证了所提出的方法是有效的。     

QoS-Aware Web Service Configuration

With the development of enterprise-wide and cross-enterprise application integration and interoperation toward Web service, Web service providers try to not only fulfill the functional requirements of Web service users but also satisfy their nonfunctional conditions in order to survive in the competitive market. A hot research topic is how to configure Web services to meet their demand when the diversity of user requirements, distinction of service components' performance, and limitation of resources are considered. This paper builds a Web service configuration net based on Petri nets in order to exhibit Web service configurations in a formal way. Then, an optimal algorithm is presented to help choose the best configuration with the highest quality of service to meet users' nonfunctional requirements. Finally, the simulation results and related analysis prove the soundness and correctness of our model and algorithm.     

面向敏捷供应链的知识服务选择模型研究

为了实现敏捷供应链知识服务体系,针对知识服务组合中的服务选择问题,提出一种结合敏捷供应链特点和整数规划方法的知识服务选择模型。该模型考虑知识用户需求的QoS全局约束,采用线性加权方法将知识用户多目标转化为单目标。应用Matlab优化工具中的bintprog求解器进行模型实例求解,结果表明模型最终求解能满足用户的实际需求,对敏捷供应链知识服务选择方法和服务组合研究有一定的借鉴性。     

基于参数关联矩阵的服务组合研究

单个Web服务难以满足实际应用需求,为了利用现有服务组合成新的服务,从服务参数依赖关系出发,提出一种基于参数关联矩阵的逆向服务组合推导算法。定义OWL-S的Web服务本体谓词描述形式,利用谓词演算证明服务组合推导过程。理论研究结论得出该方法的有效性和可行性。     

基于全局QoS 约束分解的Web 服务动态选择

随着执行时绑定的Web服务的提出及其被大量地应用到开放式服务中,用户对支持快速和动态的Web服务组合提出了新的要求.即在组合过程中,用尽可能短的时间花费选择满足用户端到端的QoS要求的服务.针对上述要求,提出了一种基于全局QoS约束分解的动态服务选择方法(Web service dynamic selection approach,简称WSDSA).该方法的主要思想是,通过基于模糊逻辑的自适应调整方法(adaptive adjustment method,简称AAM)和自适应粒子群优化算法(adaptive particle swarm optimization,简称APSO)将全局QoS约束自适应地分解为满足用户偏好的局部约束,然后利用局部最优获得最合适的组合服务.性能评价表明,WSDSA方法具有较好的有效性,仅用较低的时间花费就能达到或接近全局最优解,能够满足服务选择的实时性和动态性.     

Web服务组合的层次颜色Petri网描述模型

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。     

求解Web服务组合QoS优化的多属性决策及自适应遗传算法

随着面向服务计算(Service-oriented Computing,SOC)的不断发展,基于服务质量(Quality of Service,QoS)的Web服务组合研究成为了必然趋势。鉴于QoS属性的多维性及相互矛盾性,提出将基于QoS的Web服务组合优化问题转化为多属性决策问题进行求解。采用折中系数 对每个组合服务实例到正负理想点的距离进行累加求和,最终得到一组最优服务排序结果,用户可以根据自身偏好进行选择。传统的多属性决策方法无法有效地处理大规模的组合服务搜索空间,因此,为了有效地解决Web服务组合优化这一NP难题,提出一种结合多属性决策方法和自适应遗传算法的新型优化算法来解决该问题。实验采用真实的QoS综合服务数据集进行验证,实验结果表明,该方法能够在较短时间内找到全局近似最优解,且解集的排序结果接近于实际的最优服务排序。同时,该方法对于解决大规模的Web服务组合优化问题具有良好的可伸缩性。