首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 125 毫秒
1.
Web服务业务流程执行语言(BPEL)是一种Web服务合成语言.本文研究了Web服务合成的概念及其特点,详细分析了Web服务寻址及BPEL中的Web服务动态合成机制,并举例说明.  相似文献   

2.
Web服务的业务流程执行语言(Business Process Execution Language for Web Services.简称BPEL4WS或BPEL)是对Web服务整合的一种规范化语言。本文介绍了BPEL4WS的基本概念以及在用户交互方面的扩展(BPEL for People),最后给出BPEL4WS文档,描述具体的流程实例。  相似文献   

3.
李艳华  邱锦伦  宋炯 《计算机工程》2006,32(14):252-254
介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS),并且利用BPMN和BPEL4WS构建Web Services组件,建立Web服务模型,以整合各种企业应用平台,把企业业务由企业内部拓展到Internet上,从而达到企业资源的优化配置,实现了应用程序间的通用的互操作性以及企业间的信息交流,以适应复杂多变的商务环境。  相似文献   

4.
基于BPEL4WS的Web服务整合研究   总被引:1,自引:0,他引:1  
曾贵荣  葛世伦 《计算机应用》2007,27(11):2733-2735
业务流程执行语言(BPEL4WS)是整合Web 服务的标准,其作用是将一组现有的服务整合起来,从而定义一个新的 Web 服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念,建立了BPEL4WS整合Web服务模型,提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。  相似文献   

5.
论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于ActiveBPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。  相似文献   

6.
基于接口自动机的BPEL4WS Web服务组合形式化模型   总被引:1,自引:0,他引:1  
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。  相似文献   

7.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。  相似文献   

8.
基于BPEL的业务流程管理系统架构的研究与应用   总被引:12,自引:0,他引:12  
随着商业环境的日益复杂化,对企业流程的管理受到越来越多的重视,基于BPEL的流程组合方法得到了广泛的业界支持.首先研究了Web服务业务流程执行语言(web service business process execution language,WS-BPEL)的协议基础及关键技术,并给出了基于BPEL的业务流程管理系统的框架,着重介绍了业务流程执行引擎的结构,并结合一个应用实例分析了BPEL流程的执行过程.最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向.  相似文献   

9.
随着Web服务技术的不断发展,越来越多的Web服务已经发布在互联网上。然而独立的Web服务功能通常有限,不能满足用户或企业实际应用的需求。因此,Web服务的组合显得越来越重要。介绍了Web服务组合和WS-BPEL的相关知识,使用最新的业务流程执行语言WS-BPEL描述业务流程,在J2EE集成开发环境下设计并实现了基于业务流程思想的贷款审批应用实例,在Web服务执行引擎Active BPEL上进行部署,对Web服务进行了有效的组合。  相似文献   

10.
基于WS-BPEL的业务流程设计研究   总被引:1,自引:0,他引:1  
业务流程执行语言(WS-BPEL)是当前企业业务流程管理的主流技术。在异构系统集成中,Web服务则与其他技术相结合,正发挥着越来越重要的作用。文章对Web服务合成与BPEL的关系进行了分析,研究了BPEL关键构成要素及应用BPEL进行业务流程管理的作用机制。通过一个应用实例,详细讲述了如何使用WS-BPEL进行业务流程设计。  相似文献   

11.
杨春  陈立行 《现代计算机》2005,(5):17-20,38
Web服务的商业流程执行语言(简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,可以作为企业工作流建模和实现工作流管理系统的基础.本文首先介绍了工作流和BPEL4WS的基本概念,然后由一个例子具体介绍了BPEL4W的流程,最后给出了基于BPEL4WS工作流管理系统的实现.  相似文献   

12.
合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法;在此基础上提出了WTOP自动转换算法,通过运行时代码动态生成的方法,实现从DAG到BPEL4WS的自动转换。  相似文献   

13.
开放网格服务基础结构OGSI(Open Grid ServicesInfrastrstructure)把Web服务工作流引入到网格任务描述中,给出了几种Web服务与网格技术相融合机制,但并没有界定如何进行网格服务组合.而BPEL4WS(Business Process Execution Language for Web Services)是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容OGIS并使用BPEL4WS来合成网格服务的高层体系结构.介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造.  相似文献   

14.
Business Process Execution Language for Web Services (BPEL4WS) allows defining both, business processes that make use of Web services, and business processes that externalize their functionality as Web services. This short paper introduces the basic language elements of BPEL4WS using a simple example. The concepts underlying the language are briefly explained: establishing bilateral partnerships, correlating messages and processes, defining the order of the activities of a business process, event handling, handling exceptions via long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The paper finishes off by presenting the resulting application structure and the resulting economical implications.  相似文献   

15.
基于移动工作台的BPEL4WS死锁验证   总被引:1,自引:0,他引:1       下载免费PDF全文
描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例。  相似文献   

16.
基于BPEL4WS的分布式应用系统的研究与实现   总被引:7,自引:0,他引:7  
研究了基于Web服务的业务流程执行语言BPEL4WS(Business Process Execution Language for Web Services)的实现机制和关键技术,在此基础上,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。  相似文献   

17.
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。  相似文献   

18.
基于Petri网的Web服务BPEL4WS建模与分析   总被引:6,自引:0,他引:6  
孙健  陶晓峰 《计算机工程》2004,30(22):14-16
描述了Web服务业务流程执行语言(BPEL4WS或BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号