基于BPEL的邮政企业业务流程集成设计与实现

研究利用BPEL技术标准,设计基于BPEL的邮政企业业务流程集成方案.介绍BPEL与SOA技术的特点,论述邮政企业业务流程集成框架的设计思想,设计出集成平台总体架构,并对该体系下的各层服务功能进行了阐述.最后,以邮政报刊发行订单业务流程为例,论述基于BPEL的业务流程编排与实现的过程.     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.     

基于MDA的SOA服务协作模型

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

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

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

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

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

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

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

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

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

论地球生命的起源(续)

陨石有机物的存在,客观地说明了星体在弥漫态到凝聚态的变化过程中,其内部产生合成复杂有机物的事实。70年代以来,由于科学技术,特别是实验检测手段的不断提高,陨石化学随之发展起来,在陨落地表的某些陨石(主要是碳质球粒陨石)中发现有多种氨基酸和烃类化合物等复杂的有机物存在。这些有机物多包藏在陨石物质的内部,在坠落地表的过程中与大气摩擦并没有完全烧失。这一发现很快为生命起源的探索者们所重视。笔者认为,陨石有机物的存在并不能代表泛宇宙意义,即不能说明宇宙中(主要指星际空间)广泛存在     

竹材真菌的研究

对发霉变色竹材上的真菌进行了分离培养和鉴定。结果表明用组织分离得到了３个真菌分离物；用孢子分离得到了６个真菌分离物；而用子实体直接鉴定的有４个种。它们隶属于半知菌亚门的两个纲，３个目，１１个属的真菌。在竹材上最常见的真菌是葡萄生交链孢（Ａｌｔｅｒｎａｒｉａｖｉｔｉｃｏｌａ），局限曲霉（Ａｓｐｅｒｇｉｌｌｕｓｒｅｓｔｒｉｃｔｕｓ），多主枝孢霉（Ｃｌａｄｏｓｐｏｒｉｕｍｈｅｒｂａｒｕｍ）和青霉（Ｐｅｎｉｃｉｌｌｉｕｍｓｐ．）。     

浅析足球教练员在临场指挥中的替换队员

替换队员是足球教练员进行临场指挥的一个主要手段。一般比赛均替换队员，且多在比分相差不大时替换，替换的位置重点大都放在中、前场。替换队员一般在50min以后，且出现3次替换高峰。显然，恰到好处的替换队员更能充分体现教练员临场指挥的才能。     

煤层底板采动影响的研究

本文应用相似材料模似方法,研究了煤层底板采动影响。对模型底板岩体进行了综合观测,得到了底板岩体位移及应力的变化规律;並且观测了底板岩体声速变化,用以评价岩体的完整性,指出了底板不同部位裂隙发展变化状况。     

淀粉碱化处理对其羧甲基化反应的影响

异丙醇和水的体积比90：10条件下，于40度／1．5h用玉米淀粉和马铃薯淀粉在异丙醇水溶液中进行了制备高取代度，高粘度的羧甲基淀粉醚的比较。     

大熊猫的研究历史与进展

大熊猫的分类地位,自1869年以来,争论己愈百年,目前多数学者认为它与小熊猫应独属一类;形态学的研究,从宏观到微观,以1986年北京动物园等的专著告其大成;生态、生化和细胞遗传的研究,发表的论文近百篇,以1985年发表的《卧龙的大熊猫》一书在国内外最为系统;饲养繁殖、兽医与预防发表论文190余篇,五十余年先后有41家,曾饲养了240只大熊猫,其中有13处,共繁殖66胎,产仔100只,存活半岁以上的33只,现在国内外还约饲养有100只大熊猫.     

电子自旋影响微观体系能量规律的研究

从非相对认缇子力学和相对论量子力学两方面探讨了电子自旋对微观体系能量影响的方式，并得出其发生影响的一般规律。     

关于方程ф（x）＝ф（y）

设为Ｅｕｌｅｒ函数，Ｒ．Ｄ．Ｃａｒｍｉｃｈａｅｌ猜想：对每一正整数ｘ，存在不等于ｘ的正整数ｙ，使得作者给出方程的解的结构，利用这种结构得到探求解的算法以及Ｃａｒｍｉｃｈａｅｌ猜想的反例所满足的一些条件，Ａ．Ｓｃｈｉｎｚｅｌ猜想：对每个偶整数ｋ，方程有无穷多解．作者证明：如果存在无穷多个素数ｐ，使２ｐ－１仍为素数，则Ｓｃｈｉｎｚｅｌ猜想成立．     

关于S-分离性

本文引入了几个新的S-分离性公理,讨论了它们的性质及与文[3]定义的S-分离性公理的关系,得到了一些新的结果。     

t— 分布收敛于标准正态分布的几种证明方法

给出了t-分布收敛于标准正态分布的几种证明方法。