首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 140 毫秒
1.
基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文稿、各种活动支持文稿、接口支持文稿、操作支持文稿。设计实现了文稿自动生成系统,用于自动生成基于BPEL的一致性声明文稿。  相似文献   

2.
基于SOA和BPEL的业务流程管理研究与应用   总被引:2,自引:0,他引:2  
针对当前软件系统开发中存在的系统和组件差异等问题,引入了面向服务的体系结构(SOA)的框架和业务过程执行语言(BPEL),给出了基于SOA和BPEL的业务流程管理框架,介绍了业务流程执行引擎的结构,并结合一个具体应用实例详细说明了BPEL流程的执行过程.  相似文献   

3.
柳玲  余港  文俊浩 《计算机科学》2011,38(12):144-146,181
BPEL(Business Process Execution Language)是一种编写基于Web服务的自动化业务流程的语言,但不支持用户交互,用户交互可以通过人工任务实现。为此,提出一种在BPEL中支持人工任务执行的系统架构。在引擎之外定义一个人工任务管理器来维护人工任务,流程与人工任务管理器采用异步消息模式进行交互,以便更适应人工任务执行时间不确定的特点。使用13PEI提供的消息相关集关联异步交互过程中调用人工任务管理器的活动与接收人工任务管理器执行结果的活动。  相似文献   

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

5.
BPEL 语言是一种功能强大的描述业务流程的计算机可执行标准语言,在 SOA(面向服务)架构中扮演着将服务串联成商业流程的灵魂角色.但是由于它的不够直观和代码冗长等缺点,BPEL 不适合直接用于业务流程的抽象建模.因此研究其它抽象模型与 BPEL 问转换就相当有意义.在对 Petri 网和 BPEL 语言深入学习的基础上,定义了 Petri 网的若干部件及部件与 BPEL 的对应转换,然后提出了如何将业务流程 Petri 网模型转换成 BPEL 的算法,并用实例进行分析,验证该算法的有效性.  相似文献   

6.
提出了一种基于数据依赖的Web服务编程语言(business process execution language for Web services,BPEL4WS,简称BPEL)的可信性评估方法。利用扩展BPEL控制流图(extensible BPEL flow graph,XBFG)对BPEL进行建模,通过建模获得组件间的直接和间接数据依赖关系,并构造依赖链用以计算组件的信任值。根据BPEL组合服务的控制结构,在XBFG上通过约减规则对BPEL组合服务可信性进行评估。实验结果表明,基于数据依赖的组合服务可信性评估方法可以有效地评估BPEL组合服务的可信性,并且这种评估方法较为稳定,不会随着组件数量的增加而影响评估结果。  相似文献   

7.
洪晓霞  方洁  江丕俊 《微机发展》2011,(2):170-172,202
BPEL语言是一种功能强大的描述业务流程的计算机可执行标准语言,在SOA(面向服务)架构中扮演着将服务串联成商业流程的灵魂角色。但是由于它的不够直观和代码冗长等缺点,BPEL不适合直接用于业务流程的抽象建模。因此研究其它抽象模型与BPEL间转换就相当有意义。在对Petri网和BPEL语言深入学习的基础上,定义了Petri网的若干部件及部件与BPEL的对应转换,然后提出了如何将业务流程Petri网模型转换成BPEL的算法,并用实例进行分析,验证该算法的有效性。  相似文献   

8.
为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.  相似文献   

9.
以业务流程执行语言(BPEL)为物理模型,通过ArtiFlow中库与BPEL中服务间的映射和ArtiFlow中服务与BPEL中服务间的映射选取物理模型中所用的服务,利用ArtiFlow中元素的关联信息建立物理模型中服务间的调用关系,由此实现ArtiFlow向BPEL的自动转换。实验结果证明了该转换方法的有效性。  相似文献   

10.
本文首先介绍了BPEL(Business process execution language)的定义及其元模型,针对传统流程构造技术的不足,提出了一种基于SOA的业务流程集成的体系结构,并研究了业务流程模型到BPEL的转换规则,最后用实例介绍了如何使用BPEL进行流程描述。  相似文献   

11.
BPEL 流程建模中的交叠模式分析与转换   总被引:1,自引:0,他引:1  
张曼  段振华  王小兵 《软件学报》2011,22(11):2684-2697
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.  相似文献   

12.
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。  相似文献   

13.
提出了面向服务的企业应用与商务伙伴进行业务集成需要将基于企业服务总线的资源集成基础设施和业务流程集成方法结合起来,给出了一个通用的企业服务总线的参考模型,并对三种业务流程集成方法进行了分析和比较。通过一个基于Weblogic面向服务开发平台构建的企业门户应用中业务集成的实例,验证了基于企业服务总线与ebXML、RosettaNet或BPEL交互的可行性和优越性。  相似文献   

14.
Process monitoring phase is one of the service-oriented business process (SOBP) lifecycle phases. Traditional process monitoring approaches have been only achieved at the syntactic level of the process monitoring contexts, which causes the communication problems such as ambiguous understandings and divergent interpretations. To solve the problems, the process monitoring should be achieved at the semantic level as well as at the syntax level of the process monitoring context. In order to support semantic monitoring operations, an ontology-based monitoring framework for the SOBP execution is suggested in this paper. The suggested framework combines a BPEL4WS process model with the semantic monitoring context which is expressed with OWL.  相似文献   

15.
针对网络化生产和制造业电子商务,在企业内外部集成的基础上,提出以服务集成的思想构建制造业电子商务服务系统。基于实际应用创建业务流程,提出系统的构件化实现模型,给出该业务流程到业务流程执行语言(BPEL)的映射,采用BPEL设计实现制造业电子商务服务系统。  相似文献   

16.
提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。  相似文献   

17.
一种基于CPN的运行时监控服务交互行为的方法   总被引:1,自引:0,他引:1  
BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.  相似文献   

18.
提出了一种基于反射的BPEL业务过程动态演化方法.该方法基于可反射的BPEL业务过程的动态演化框架,扩展了现有BPEL引擎,并对演化元过程建模,使其在BPEL引擎中实例化执行,来实现对业务过程的动态演化.  相似文献   

19.
由于BPEL语言的XML表示十分冗长以及没有形式化的分析技术,其抽象级别不适合用于业务流程分析和设计.而业务流程分析师和设计者更容易接受高级别的抽象模式,例如BPMN(Business Process Modeling Notation).很多建模工具支持BPMN,但是到目前为止没有系统可直接执行BPMN模型.因此,需...  相似文献   

20.
Modern scientific applications often need to be distributed across Grids. Increasingly applications rely on services, such as job submission, data transfer or data portal services. We refer to such services as Grid services. While the invocation of Grid services could be hard coded in theory, scientific users want to orchestrate service invocations more flexibly. In enterprise applications, the orchestration of web services is achieved using emerging orchestration standards, most notably the Business Process Execution Language (BPEL). We describe our experience in orchestrating scientific workflows using BPEL. We have gained this experience during an extensive case study that orchestrates Grid services for the automation of a polymorph prediction application. Using this example, we explain the extent with which the BPEL language supports the definition of scientific workflows. We then describe the reliability, performance and scalability that can be achieved by executing a complex scientific workflow with ActiveBPEL, an industrial strength but freely available BPEL engine. *The work has been funded by the UK EPSRC through grants GR/R97207/01 (e-Materials) and GR/S90843/01 (OMII Managed Programme).  相似文献   

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

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