基于业务流程执行语言的Web服务整合研究

业务流程执行语言(BPEL4WS)是整合Web服务的标准,其作用是将一组现有的服务整合起来,从而定义一个新的Web服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念,建立了BPEL4WS整合Web服务模型,提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

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

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

基于Web服务的业务流程管理集成应用研究

随着网络技术的发展和电子商务系统的应用,传统的业务流程管理在协同性、敏捷性和柔性方面已经不能适应企业发展的需要。近来兴起的Web服务可有效地解决跨系统、跨平台、跨部门间业务流程的无缝隙联接,完成构建复杂的业务流程,从而扩大业务流程的应用范围。为此在介绍业务流程管理和Web服务的基础之上,提出了Web服务在业务流程管理中的应用,并通过案例进行了分析。

Web服务编排描述语言WS-CDL的形式化模型框架

Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。

大粒度Web服务组合业务流程演化类型判定方法

根据演化类型在服务组合演化中的应用层次,运用互模拟理论,从单个状态节点、单个服务和服务组合三个层面判定演化类型,并给出各自的判定规则。单个状态节点演化类型的判定可以明确节点的外部行为是否发生变化;单个服务演化类型的判定可以得出服务的内部业务流程中状态节点在数量和逻辑关系上的变化情况;服务组合演化类型可以明确全局业务流程的变化。通过一个面向制造服务的大粒度Web服务组合业务流程演化类型判定的实例,说明了规则的应用及有效性。

Web服务组合中业务流程演化影响范围判定方法

针对组合业务流程中各参与演化的服务对彼此内部业务流程不可知的特点,依据互模拟理论,以服务在演化前后内部业务流程的变化特点判定演化类型;通过判定内部业务流程中受影响状态节点的前驱状态集或后继状态集的归属服务来确定受波及的服务;通过计算服务内部业务流程演化影响范围的边界得出单个服务的受影响范围,进而得出服务组合中业务流程演化的影响范围。针对以上问题,给出了其判定规则和算法,使得演化仅在受波及区域内发生,并且所有受影响的状态节点都可能参与演化。

基于业务流程的物流Web服务组合匹配研究

物流服务组合匹配是满足客户业务需求、实现物流系统信息化的关键环节,目前对服务匹配普通基于服务模板与候选服务之间进行服务匹配研究,较少考虑整个业务流程,匹配结果往往不能很好的满足服务组合的需求。为解决以上问题,本文提出了基于业务流程的物流W eb服务组合匹配模型—LSCMM,并在此基础上应用物流运筹学理论提出改进的物流服务组合匹配算法—W SCML,采用GAMS软件进行应用验证。结果表明:匹配结果合理,为物流服务组合过程提供了有利支持。

基于Web服务的电子商务业务流程中间件引擎的研究

从数个企业提供的逻辑相关的Web服务整合为可运行的电子商务业务流程的角度出发,分析Web服务的业务流程协议模型BPEL4WS(BusinessProcessExecutionLanguageforWebService,Web服务的业务流程执行语言),在此基础上设计业务流程的中间件引擎以方便企业之间的业务集成并管理、执行、监控生成的业务流程实例,设计的同时充分考虑引擎的可扩充性,以利于引擎功能的完善和智能扩展。

Web服务业务流程规范的比较研究

随着XML和WebService技术的逐步成熟,流程层集成成为主流的企业应用集成(EAI)方式,而Web服务业务流程规范是流程层集成的基础。因此该文对典型的Web服务业务流程规范进行了介绍、比较和分析,并讨论了现有Web服务业务流程规范存在的主要问题以及今后的发展趋势。

组合Web服务业务流程访问控制技术研究综述

业务流程访问控制是保证组合Web服务增值安全应用的关键技术,着重论述了组合Web服务业务流程访问控制技术的研究现状及问题。首先对组合Web服务业务流程安全需求进行了分析,然后从组合Web服务业务流程访问控制模型、业务流程运行时访问授权约束、业务流程协同访问授权的一致性检验3个方面分析了业务流程访问控制核心技术的研究进展。最后,结合已有的研究成果,指出了目前研究的挑战以及未来的发展趋势。

基于Web服务的远程业务流程集成模型

在介绍Web服务和异步服务访问协议的基础上,针对远程业务流程的集成中的数据交换问题,采用REST结构的Wf-XML协议作为基本的模型框架,提出了一种基于Web服务的业务流程的封装模型和远程业务流程的集成模型.这个模型有效解决了企业内或企业间,跨部门、跨平台的业务流程的集成.在对原有业务流程系统最小改动和尽可能通用的前提下,完成构建复杂的业务流程,克服了原来业务流程只能在小范围内构建的不足,扩大了业务流程的应用范围.

Web服务业务流程一致性验证

在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。

一种基于接口匹配的组合Web服务描述语言

从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL)。

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

在面向服务体系结构和Web服务技术快速发展的条件下,对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析,提出了一种基于WfMC工作流元模型的扩展元模型,并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达,同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。

面向Web服务自动集成的目标描述语言

提出了目标驱动的Web服务自动集成协议栈来实现过程的自动建模;基于本体描述语言OWL,开发了位于集成协议栈最高一层的目标描述语言,来描述需要实现的目标、目标之间的关系以及实现目标的各种约束,并提出在目标描述中不一致的检测方法。目标描述语言是实现Web服务自动集成的第一步工作。

基于活动授权的组合Web服务业务流程动态访问控制模型研究

业务流程访问控制机制是组合Web服务安全应用中的难点问题。针对现有研究不足,提出基于活动授权的Web服务业务流程动态访问控制模型AACBP(Activity Authorization Based Dynamic Access Control Model for BPEL4WS)。通过解除组织模型和业务流程模型间的耦合关系,AACBP将活动授权作为BPEL4WS(Business Process Expression Language for Web Services)活动访问控制实施的基本单元。依据活动实例动态感知上下文,AACBP细粒度约束活动访问授权,实现授权流与业务流程执行同步。最后给出AACBP模型在Web服务安全组合中的实施机制。

面向Web服务的制造企业业务流程管理集成应用研究

本文在探讨现代制造企业对信息资源与技术的实际需求基础上,针对企业在信息系统架构方面形成的一个个''信息孤岛'',采用企业应用集成(EAI)方法和技术,提出面向分布式网络环境下基于Web服务的企业业务流程管理集成应用解决方案与实现途径,有力地促进了企业实现各种遗产系统与新的企业应用系统的集成,更进一步促进制造企业加速实现信息化工程.

WEB服务集成技术在业务流程管理中的应用分析

一、引言 业务流程是一些更小的单元（被称为子流程）的有序组合，而子流程是一种可重用的业务服务。日趋激烈的市场竞争要求企业更好地集成和管理组织内外的各种业务流程，以便对商业环境的变化实时作出响应，同时实现整个业务流程的优化。企业IT系统需要更好地组织和集成以提升对业务信息的利用程度，帮助企业管理和改进业务流程。WEB服务集成技术是一种基于服务层的集成，采用面向对象的技术来包装数据，

基于业务流程执行语言的WEB服务整合的探讨

首先介绍了Web服务业务流程执行语言(webservicebusinessprocessexecutionlanguage,WS-BPEL)的相关概念及关键技术,并给出了基于BPEL的业务流程管理系统的框架,提出了组合服务的方法和过程。最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向。