业务流程执行语言中流程模板的生成

在Web服务组合中,将复用从Web服务这个粒度扩展到BPEL(Business Process Execution Language)流程级别这个更大的粒度,从流程中抽取出流程模板,开发人员可以直接在流程模板的基础上构建新的业务流程,从而大大地提高流程开发的效率和准确度。为实现这个目标,提出了方法：将流程模板的抽取问题转换为树的频繁模式查找问题。首先将BPEL流程建模为有根无序树,然后基于TMG(Tree Model Guided)思想对树进行频繁导出子树的挖掘,最后将频繁子树映射为BPEL流程模板。用Java语言实现了针对BPEL流程的模板生成器ROY-BPELTool,在其之上运行了一个真实的多媒体会议系统的BPEL流程,验证了方法的可行性和有效性。     

基于Web服务的多式联运流程

论述了Web服务下的多式联运的流程和信息整合,对其业务流程进行了分析,用BPEL4WS(Business Process Execution Language for Web Service)语言进行了Web服务下的多式联运流程建模描述。     

基于ZING的Web服务建模与验证

为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZI...     

基于AXML动态Web服务合成的合理性判定研究

目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入Active XML(简称AXML),对Web服务进行形式化描述,提出了一个Client/Server(简称C/S)模型,根据这个模型对Web服务合成过程中消息的正确性进行判定,并且对合成时合理性进行判定,保证了Web服务合成的合理性.     

基于B＋树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B＋树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

ActiveBPEL中组合服务自动部署的研究和实现

为了把选定的单个原子服务组合成一个完整的组合服务,需要应用BPEL(Business Process Execution Language)描述整个组合服务的流程。本文通过应用原型系统中已提出的SCML(Service Composition Management Language)服务组合管理语言,对在此语言基础上自动产生BPEL的实现方法进行研究,提出一种由SCML出发自动转化BPEL并在引擎中自动部署、发布、执行的方法,并用此方法把旅游服务的模型发布在ActiveBPEL引擎上。该方法对于流程自动发布具有一定的可用性。     

基于MVC模式的资源访问代码的自动生成

针对当今快速多变的电子商务环境对工作流软件的灵活性和扩展性要求越来越高这一现象,通过深入分析传统工作流服务网格结构的优缺点,提出了基于MVC模式动态工作流模型的快速实现方法.新方法分离了业务流程开发和资源管理,在对BPEL4WS语言业务流程描述能力进行扩展的基础上,提取业务流程和资源访问流之间的业务流程数据映射关系,自动生成代码,将服务网格和资源网格有效桥接起来.分析结果表明,该方法实现了对用户的透明性和开发的灵活性,同时在软件项目开发中能够更好地进行项目管理、控制软件开发周期和降低返工率.     

静态与动态相结合的Web服务组合方法

在当前Web服务动态组合研究基础上,提出了一种静态与动态相结合的Web服务组合方法.该组合方法是通过动态方式组合的组合服务正确执行结束之后,该组合服务作为静态组合服务模板保存到静态组合库中,当用户再次使用该组合服务时,在静态组合库中检索匹配的模板直接执行,从而避免重复动态组合服务的过程,提高了系统服务效率.     

基于BPEL的跨域业务协同建模方法的研究与实现

针对物流服务中的多式联运场景,采用面向服务的架构、Web服务技术和业务流程执行语言(BPEL),实现了跨区域企业间业务协同过程建模和相关企业资源的集成.研究表明,相比传统的企业集成技术,BPEL是面向服务架构(SOA)下的一种有效整合企业资源的方法,可以很好地实现跨域协作和业务集成.     

面向预定义过程的强化学习WS组合

将强化学习应用到基于预定义过程的WS组合,提出了QoS实际性能驱动的随机强化学习Web服务组合方法。利用该方法可以根据WS的实际性能逐渐为模型中的任务学习到优化的任务分配策略,根据任务分配策略所选择的WS的协同执行能最大程度地满足用户的服务请求。与同类方法相比,该方法根据服务的QoS实际性能将WS以往性能数据的利用与持续不断地对新的优化组合的探索融合到一起,逐渐学习到与过程模型相对应的优化服务组合。通过对熵取值范围的讨论,说明了对以往策略的利用与持续不断探索之间的关系。     

基于策略部署的Web服务事务管理机制的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,提出一种基于策略方法实现Web服务事务管理机制的设计方案,把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持.同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改.     

面向工艺元任务的资源匹配方法研究

有效分析工艺设计的资源信息和实践经验是CAPP应用系统的关键问题之一.通过对制造工艺资源特征和工艺元信息的分析,对资源-任务匹配中的关键概念进行了定义,建立面向工艺特征的资源特征和任务表达模型,用工艺元和工艺模板表达工艺设计内容.研究以工艺元为基本单元对工艺元序列和工艺实例的资源特征信息进行组织与管理,提出基于工艺模板资源数据库的工艺元和工艺资源特征匹配策略和实施算法,并将该方法应用于工艺设计中资源特征与工艺元的匹配.应用研究表明,该方法为改进工艺任务分配的柔性和适应性提供了一种新的思路.     

SOA架构下的业务流程编排相关技术研究

分析了面向服务架构SOA和业务流程执行语言BPEL的特点及其应对业务流程快速变化时的优势,提出了基于SOA架构的BPEL业务流程设计方法,以公共卫生管理系统对业务流程敏捷化的需求为例,阐述了儿童保健管理模块中出生医学报告业务的业务流程设计方法,提高了系统业务流程的重组性和适应性,使建立的系统平台具有高度的松耦合性、服务的重用性以及高度的敏捷性.