一种基于SOADL的Web服务合成方法

服务合成是面向服务的软件开发中的一个重要开发活动.探讨了体系结构设计和服务合成之间的关系,提出了一种基于体系结构的Web服务合成方法.通过自动发现服务以及自动生成过程代码和部署代码,可以将SOADL的体系结构模型转化为一个可执行的BPEL组合系统,来实现Web服务的合成.与其它服务合成方法相比,合成方法可以更好地实现从设计到实现的平滑过渡,提高合成的效率和保障合成后系统与体系结构模型之间的可跟踪性.     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

一种层次结构的Web内容自适应模型

目前Web服务以表格结构为主的网页技术无法提供Web内容自适应,本论文提出了以层为主要结构设计网页,利用该结构的可移动定位参数,并通过中间件技术设计实现了一个基于层次结构的Web服务模型.通过对该模型的仿真实验证明,该模型能够有效地改善Web服务服务质量和提供内容自适应.     

网格服务的合成模型研究

开放网格体系结构OGSA规范通过整合网格和Web服务技术确定了网格服务分布式系统框架，但其中关于网格服务合成的方面并没有定义相应的规范，业务流程执行语言BPEL4WS是应用于Web服务上的服务合成规范。通过分析网格服务和Web服务的异同，设计出一种可行的模型，解决了BPEL4WS不支持网格服务中部分特性的问题，从而可以将BPEL4WS应用于网格服务合成上。     

Web服务合成的相容性与替换性分析

形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理.     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

自适应Web服务工作流体系结构的研究

通过在Web服务中引入语义成分,采用DAML-S来描述Web服务,提出了一个自适应Web服务工作流的体系结构,然后深入讨论了其中的两个核心模型:Web服务自动发现模型和Web服务自动交互模型。     

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

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。     

基于Dijkstra算法的Web服务合成选择策略研究

Web服务合成中操作的选择是一个关键问题,这直接影响到用户对合成的复合服务的满意度.解决该问题的关键是对候选Web服务的输人输出数据关系进行建模,以及有效利用这些已有的数据依赖关系实现服务合成的请求.通过从Web服务规范语言中提取Web服务的语义信息,构建Web服务的有向图,并分析Dijkstra算法用于Web服务合成的问题.提出了相应的解决办法,给出了一个基于Dijkstra算法的Web服务合成选择策略的算法.该算法能在合成中选择最恰当的操作组合,产生最终的复合服务.     

基于语义Web Service的需求驱动服务合成

语义Web Service(SWS)是应对商务对商务环境的挑战,是迈向自动Web服务的重要步骤.基于SWS的商务服务合成是服务计算领域最为活跃和开放的研究问题之一.提出了一种基于SWS的商务服务合成的基本思想和方法.给出了商务服务合成的形式化模型.介绍了一个服务合成中基于超图的服务集合挖掘方法.给出了面向服务合成的需求驱动服务选择及其解决方案模型.     

优化协同商务虚拟工作流的Web服务组合路径搜索*

为了解决协同商务系统中面向虚拟工作流的业务流程动态组合、生成问题,从抽象层面上运用Web服务及其组合技术,分析面向工作流的、跨组织的、分布式动态服务组合模型;探讨基于工作流环境实施动态Web服务组合的多层次组合方案推理和选择的一般化模型,在多层多可选服务情况下基于路径代价和服务偏好设计了一种最优服务组合路径的搜索算法,并对该算法进行了验证。验证结果表明,该算法可以有效地解决Web服务组合技术支持下的协同商务虚拟工作流的优化问题。     

基于工作流的Web 服务组合模型设计与实现

单个Web服务无法满足企业的应用需求,对多个Web服务进行组合的研究尤为必要。本文提出了一种基于 工作流模板的服务组合模型,旨在通过定义和发布静态的Web服务,搭建基于工作流的Web 服务业务流程组合模型,实现在 工作流流程中调用静态的服务组合。     

基于空间领域本体的动态工作流模型研究

OGC(Open Geospatial Consortium)提出的Web服务编排方法可以通过组合、协调各种空间信息Web服务,形成一种服务的工作流OWS2(OGC Web Services2),但这属于精确匹配的静态工作流。提出了一种基于本体和规则的动态工作流模型(Dynamic Work Flow Model based on Ontology and Rule,DWFMOR),它是对OWS2的改进。本模型首先针对空间信息的领域特征建立了相应的领域本体,基于这些本体设计了用于推理的工作流规则引擎,并使用protégé本体编辑器和Jena推理机进行了实现,最终建立了一个用于空间信息服务的工作流原型系统。实验表明,基于空间领域本体的工作流模型不仅可以根据业务的需求自动地查找和匹配空间信息Web服务,还可以动态地形成空间信息Web服务工作流。     

基于工作流模板的Web服务组合模型研究

服务组合是Web服务应用的一个重要研究方向,利用工作流与服务组合的相似性,提出了一种基于工作流模板的Web服务组合模型;该模型利用功能语义在服务匹配上的优点,对流程、服务进行较为准确的查询;并通过Agent技术来执行组合方案;最后结合服务发布算法,将组合后的服务和流程发布在注册库中.     

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.     

基于Web服务组合的业务流程集成

从分析现代企业面临的动态业务环境入手,提出了Web服务环境下的业务流程集成模型,阐述了基于Web服务组合进行业务流程集成的优点.在分析了Web服务组合关键技术的基础上,分别从业务流程描述语言、基于工作流的Web服务组合和语义Web服务组合三方面,综述了Web服务组合技术的研究现状,并指出了当前研究工作的不足.     

基于语义描述的Web服务工作流动态组合研究

传统静态工作流很难适应动态的、灵活的现代业务流程。近年来Web服务技术不断发展，使得工作流中的活动以Web服务形式的实现，而且工作流本身也可以以Web服务的形式被调用，特别是语义Web技术的发展，为计算机实现自动Web服务工作流提供了可能。本文基于本体论提出了一个半结构化工作流本体模型，并在此基础上设计了基于Agent技术的Web服务工作流系统。     

动态Web服务组合研究

Web服务作为一种崭新的分布式计算模型，是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法，成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式；其次，结合目前存在的一些组合平台和框架，重点分析了基于工作流和基于AI规划的动态Web服务组合原理与典型应用，并分析了其它相关的一些动态Web服务组合策略；最后提出了动态Web服务组合面临的挑战和进一步的研究方向。     

一个基于后备服务的高可靠工作流开发模型

随着互联网的发展,面向Web服务的工作流技术逐渐兴起。然而在开放多变的网络环境中,组成工作流的网络服务的可靠性变化,网络连接的可靠性变化,都对工作流的可靠执行带来挑战。目前工作流可靠性研究较多地关注如何选取并确定一条最可靠的工作流路径,以及如何选取可靠性较高的服务来组成工作流,这些方法较难应对网络环境的多变以及服务本身可靠性的变化。随着Web服务的广泛普及,网络中涌现出大量的等价服务,利用等价服务作为后备服务来达到构建更可靠的工作流的目的。基于此想法,给出了一个高可靠工作流的开发模型,包括基于后备服务的工作流描述机制,以及工作流可靠性评估机制;最后,给出相应的工作流脚本转换工具实现,可将其转换成标准的BPEL脚本并运行。     

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷，为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流，利用OWL-S过程模型的控制结构给出工作流模式的实现方案，分析出OWL-S描述web服务之间交互协议的能力及缺陷；在此基础上，设计并实现基于OWL-S的组合web服务执行工具，通过验证Web服务调用的有效性及Web服务之间交互协议的有效性，提高组合Web服务执行的健壮性。