动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

支持数据流分发的组合服务协调框架

针对集中式Web服务组合的性能缺陷以及完全分布式Web服务组合中组件服务重用性差等问题,提出一种基于集中控制流分散数据流模式的Web服务组合协调框架. 描述了框架中运行的协调协议的形式化定义、模型和语法结构. 采用数据流分析方法优化组合服务.提出从BPEL到协调协议的转换算法. 实验结果表明,采用此协调框架的组合服务不仅保持了组件服务的可重用性,而且在响应时间和事务处理能力等方面性能有显著提高.     

基于BPEL的业务流程管理框架的研究

随着Web服务技术的发展,BPEL在企业业务流程建模中的应用越来越多.本文对BPEL的关键技术作了分析,设计了一种基于BPEL的业务流程管理框架,结合具体实例分析了流程的执行过程.     

基于知识流优化的业务流程重组

基于业务流程和其内部知识特征,提出一种从知识流优化角度进行流程重组的方法.通过识别业务流程及流程知识,构造基于业务流程的知识地图及流程角色关系网,挖掘业务流程和组织结构的知识流潜在联系,并提出不同的知识流优化原则,对业务流程和组织结构进行优化,实现业务流程重组.通过实例说明利用知识流的业务流程重组方法能改善业务性能,促使组织结构更加合理化及组织知识水平提高.     

基于依赖关系的数据流Petri网一致性分析

现有的大部分关于业务流程一致性的研究主要考虑控制流.而数据信息也是流程中需要重点关注的部分,在考虑数据视角后,模型与事件日志间的一致性可能出现很大的不同.提出一种基于依赖关系的数据流Petri网一致性检查方法.方法引入决策表的概念,通过寻找模型中存在的决策点并对其添加决策表来构建合理且尽可能贴合实际系统的数据流Petri网模型;根据模型与事件日志中存在的依赖关系,使用给定的代价函数计算最优对齐与参考对齐所需代价值,在此基础上计算得到日志与模型的一致性度,根据结果衡量流程执行的一致性;通过实例分析对所提方法进行验证,结果表明,融合数据流与决策表的方法在一致性检查中更具合理性.     

基于BPEL描述的移动工作流的协同机制与实现

针对基于面向服务架构的移动信息服务平台,研究了移动工作流的结构模型,分析了流程设计中的Web服务接口及其消息驱动的协同机制.移动工作流主要依赖SMS和MMS协议发起同外部进行通信和服务调用.当用户发起某一事项申请时,工作流引擎实例化流程,按照每一个活动中协同规则调用服务来完成该活动的任务.由于流程节点之间的流转体现出多种协同关系,在进行逻辑规则和时间规则分类的基础上,提出了基于业务流程执行语言BPEL协同规则的描述方法.以申请开放实验项目协同流程为例,涉及多种人员角色,利用移动短消息的模式驱动流程的流转,利用基于BPEL描述的服务协同规则进行了实现,取得了良好的效果.表明所提出的方法有利于简化移动服务平台的系统集成,缩短系统设计周期.     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排.但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂.本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型.针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程.     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

支持跨企业协作的应用集成模型研究

在实现跨企业数据交换和业务流程管理的基础上,研究设计一种跨企业的应用集成模型.该模型基于XML、Web Services与工作流技术,采用三层体系结构;每个企业的公共应用都被封装成Web Services;企业间的数据交换及Web Services间的交互通过SQAP消息机制实现;采用商业流程执行语言(BPEL4WS)对跨企业Web服务进行有效的组织和集成,并在此基础上进行适当扩展,通过引入“服务容器”的概念,用于表示一组具有相同端口类型与操作的服务,以支持服务的选择和替换机制.最后对引擎调度策略问题进行了讨论.     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

一种基于数据流图的软硬件划分背包算法

在软硬件协同设计中,将数据流图作为软硬件划分问题的输入,建立了以数据流图为基础的软硬件划分数学模型.对于规模较大的划分问题,为了满足系统性能,达到功耗和成本最小化,提出了0-1背包分解算法,采用并行求解的方式,排除了绝大多数无最优解的子问题,从而改善了大规模划分问题的求解效率.实验结果表明在大规模问题和硬件约束条件下,该算法能获得行之有效的划分方案.     

ERP中动态可重构业务流系统的设计与实现

业务流程重组是中小企业ERP(enterprise resource planning)系统能否成功实施的关键。在分析了数据流形成过程和改造传统ERP系统数据流的基础上,提出了可动态重构业务流程的业务节点模型,将该模型抽象成可用一组参数描述的业务对象,采用关系型数据库封装业务对象的属性和业务行为。利用业务对象构造链式业务流程,通过增加和删除业务节点的例子体现了系统良好的动态可重构性。     

长时井下压力监测数据流动过程识别方法研究

利用长时井下压力计监测井下生产在提高油藏和油井管理方面正发挥着越来越重要的作用。在长时井下压
力监测数据的解释过程中,准确地确定流动变化过程起始时间至关重要,但由于其庞大的数据量而使得手工划分和处
理这些数据不切实际。基于小波模极值理论和噪声鲁棒微分算法,利用模拟的井下压力数据对比研究了长时井下压
力监测数据中流动变化过程（突变点）的识别方法。结果表明：小波模极值方法的误识别率相对较高,对噪声比较敏
感,在采用该方法之前必须对数据进行降噪处理;而基于噪声鲁棒微分算法的二阶导数识别方法可以准确、有效地识
别出流动变化过程,并且对噪声具有稳健性,可以在不对信号进行降噪处理的情况下识别流动过程。研究结果为自动
处理长时井下监测数据提供了一种新的手段。     

基于中间语言的逆编译方法

提出一种以中间语言为基础的逆编译方法，此方法首先把机器语言的程序转换为中间语言的程序，然后在中间语言程序上进行数据类型分析和控制流程分析，最后生成目标高级语言的程序     

基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...