一种支持领域特性的Web服务组装方法

Web服务为软件构件技术提供了良好的工业化基础．软件构件和构架技术的研究也为Web服务的应用奠定了一定的应用基础．在构件组装中,如何支持适应用户需求的Web服务的组装是当前研究的热点之一．该文提出了一种基于优化算法的、支持领域特性的Web服务组装方法,该方法的核心是面向Web服务应用．按照用户确定的功能和QoS需求,基于现有领域模型和Web服务QoS属性,将特定领域的优化组装转化为数学优化问题加以解决．这一方法可以较好地适应用户需求的更改并可以辅助用户选择服务．该文最后给出了支持该方法的原型工具的实验结果,用以说明该方法的可行性与有效性．     

特征模型驱动的Web Services组装方案及其工具支持

Web Services正逐渐成为主流的平台独立的软件构件,并广泛地存在于INTERNET分布式环境中,通过组装Web Services生成系统的开发方法正在逐步引起人们的关注并受到重视,但目前还没有提出一套相对成熟的、系统化的组装方案用于指导Web Services组装系统的整个开发过程.将特征模型作为贯穿整个Web Services组装过程的模型工具,利用它驱动Web Services组装系统的需求分析、流程建模、组装、部署和执行,提出了"特征模型驱动的Web Services组装"解决方案,并结合一个具体的实例对FWSC(feature model driven Web Services composition)方案的基本思想、原理以及关键步骤进行了介绍.该工作可以有效地提高Web Services组装系统的建模、开发速度和质量,并增强Web Services组装系统在需求发生变化时的动态调整和演化能力.     

一种基于语义的Web服务动态组合及其实现

随着Web Services 的广泛流行以及Web环境下日益增加的Web服务,如何根据用户的需求自动地对Web服务进行有效的组合已经成为一种挑战.文中提出了一种基于领域本体的动态组合方法,该方法利用领域本体以及语义技术首先生成一个基于领域本体的Web服务组合图,根据该Web服务组合图可以进行服务的自动发现、调用、组合.该方法综合考虑了服务的语义支持,领域特性,服务的自动组合.最后通过实例验证了该方法的有效性.     

基于目标距离评估的启发式Web Services组合算法

随着可用Web Services数量的快速增长,如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,成为一项亟待解决的课题.提出了一种基于用户需求目标距离评估的启发式算法,通过该算法,动态调用Web Services来自动生成满足用户所需目标的Web Service组合,同时,该算法还能够根据Web Services组合经验,对以后的Web Services组合方案进行调整.实验结果表明:该算法能够很好地适应网络上Web Services的不稳定情况,与同类算法进行性能比较,也显示出基于目标距离评估的算法具有较好的性能.     

基于Web Services的协同工作模块的设计和实现

本文分析了使用Web Services建立协同工作模块的可行性和优缺点,提出了基于Web Services的协同工作模块模型,并且通过应用实例验证了模型的有效性.该模型在扩展性、重用性、可靠性方面表现出色,而且支持异构平台.     

一种有QoS保障的Web服务组合方法

随着可用Web Services数量的快速增长，如何根据用户的需求来自动组合Web Services，生成满足用户需求的组合业务，成为一项亟待解决的课题。提出了一种基于QoS的启发式算法，通过该算法，动态调用Web Services来自动生成满足用户所需目标的Web Service组合．同时，该算法还能够根据Web Services组合经验，对以后的Web Services组合方案进行调整。实验结果表明：该算法能够很好地适应网络上Web Services的不确定情况，与同类算法进行性能比较，也显示出较好的性能。     

基于Internet的Web Services收集方法

Web Services作为一种部署在Internet上的新型的可复用软件资源,得到广泛的重视和应用。但是,现有通用搜索引擎并不能很好地支持Web Services的发现,这使得软件开发人员需要花费很大的代价寻找合适的Web Services。鉴于此,提出了一种基于Internet的Web Services获取方法,采用通用搜索引擎和特定Web Services信息发布网站相结合的方法,从Internet上收集Web Services,并从Web Services的相关网页中抽取相关描述信息。利用收集到的Web Services数据,对当前互联网上的WebServices现状进行了统计分析。这些统计结果一定程度上反映了WebServices的发展现状。     

一种面向用户的Web服务组装方法

为了将分布在Internet上异构的Web服务组装成新的服务提供给用户,提出一种面向用户的Web服务组装方法,将组装过程分为需求拆分、服务选择、执行服务组装和服务结果合并四个阶段,并提出了基于组装模式的用户需求输入及拆分方法、基于QoS的服务选择模型和基于中间模式的异构消息转换模型。最后通过物流领域服务组装平台的设计与实现,验证了上述方法的可行性与有效性。     

易变信息全局距离最优动态选择算法

Web服务组合问题中数以千计的Web Service的信息可能会随时改变,如何发现这些易变Web Service描述信息(包括服务提供者和服务消费者的描述信息),如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,并及时应用到业务执行流程中。本文设计了一种基于用户需求服务全局距离最优动态选择算法(Dynamic Selection Algorithm with Global OptimalDistance),用于发现动态调用Web Services来自动生成满足用户所需目标的Web Service组合。     

易变信息全局距离最优动态选择算法

Web服务组合问题中数以千计的Web Service的信息可能会随时改变,如何发现这些易变Web Service描述信息（包括服务提供者和服务消费者的描述信息）,如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,并及时应用到业务执行流程中。本文设计了一种基于用户需求服务全局距离最优动态选择算法（Dynamic Selection Algorithm with Global OptimalDistance）,用于发现动态调用Web Services来自动生成满足用户所需目标的Web Service组合。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。     

一个基于偏序事件结构的Web服务模型及其形式化组装

随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务问的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发拉度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。     

Through Personalized Web Service Composition Specification: From BPEL to C-BPEL

Over the last few years, Web services technologies offered a new and successful way for interoperability among web applications. A Web service is a software system designed in a way that other software components and humans can discover and invoke to satisfy different needs. The vision of WS as a software component allows to combine several WS, providing a global value-added WS, called composite WS.Although there are several researches in web services composition, more effort should be focused on its personalization, particularly regarding how well the composition results correspond to what the user really wants. Accordingly, we present in this paper an approach that may contribute to the personalization of web services composition specification. Our approach is a context-based proposal that makes services composition specification more efficient by taking into account both user context, needs, and preferences and web services context, and by integrating them to the composition process. In addition, to permit the reuse of specifications, we enhance BPEL by developing a specification language based on context to be used in composition that we called C-BPEL.     

基于软件代理和上下文的Web服务合成方法

Web服务的诸多特性使得它非常适合于商务应用集成，工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。介绍两个概念以减少Web服务合成的复杂性：软件代理和上下文；并论述了在合成期间，软件代理之间进行会话以同意Web服务参与到合成中。     

基于与或图的Web服务组合的研究

现在Web服务技术的应用变得更为普及。单个Web服务只提供有限的功能,难以满足实际应用的需要。Web服务组合已经成为Web服务应用中一个非常重要的研究方面。本文提出了一种基于与或图的Web服务组合方法,该方法通过对已经访问过的服务进行标记,以服务代价作为在与或图中进行搜索的依据,缩小了搜索空间,能够快速找到一种代价很小的服务组合方法。仿真实验表明,该方法提高了Web服务组合的效率和成功率。     

电子商务领域本体下的Web服务自动组合实现

随着Web服务应用的不断发展,如何根据服务需求进行Web服务的动态组合,已经是一个急需解决的问题。本文利用电子商务领域本体建立了Web服务本体模型,提出了基于语义的Web服务动态组合体系结构和解决方法。架构包括服务描述模块、需求解析模块和服务组合模块。最后,给出了该模型在一个购物系统中的实现。     

一种验证Web服务流程的新方法*

在实际的服务组合中,Web服务流程（process）的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑（TLA）建模服务流程,然后,利用模型检验（model checking）技术验证模型的某些属     

Semantic E-Workflow Composition

Systems and infrastructures are currently being developed to support Web services. The main idea is to encapsulate an organization's functionality within an appropriate interface and advertise it as Web services. While in some cases Web services may be utilized in an isolated form, it is normal to expect Web services to be integrated as part of workflow processes. The composition of workflow processes that model e-service applications differs from the design of traditional workflows, in terms of the number of tasks (Web services) available to the composition process, in their heterogeneity, and in their autonomy. Therefore, two problems need to be solved: how to efficiently discover Web services—based on functional and operational requirements—and how to facilitate the interoperability of heterogeneous Web services. In this paper, we present a solution within the context of the emerging Semantic Web that includes use of ontologies to overcome some of the problem. We describe a prototype that has been implemented to illustrate how discovery and interoperability functions are achieved more efficiently.     

IRS-III: A broker-based approach to semantic Web services

A factor limiting the take up of Web services is that all tasks associated with the creation of an application, for example, finding, composing, and resolving mismatches between Web services have to be carried out by a software developer. Semantic Web services is a combination of semantic Web and Web service technologies that promise to alleviate these problems. In this paper we describe IRS-III, a framework for creating and executing semantic Web services, which takes a semantic broker-based approach to mediating between service requesters and service providers. We describe the overall approach and the components of IRS-III from an ontological and architectural viewpoint. We then illustrate our approach through an application in the eGovernment domain.     

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。