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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种基于广义随机Petri网的BPEL建模

BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望.     

基于BPEL的网格工作流系统

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

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

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

由对诗人的重估到对新诗史的重构--从《诗刊》看五四以来的新诗传统在五、六十年代的命运

作为二十世纪五六十年代国内最权威的诗歌刊物《,诗刊》无疑代表了当时的文学潮流,并引领着文学的走向。研究自1957年1月到1965年停刊的《诗刊》,可以清晰地把握当时的诗坛动态和文学环境,不失为五六十年代中国文学的一份生动史料。本文着重考察的是《诗刊》如何以对“五四”以来新诗人的重估和对新诗史的重构,完成了新诗在五六十年代的历史叙述。     

叶轮进口边位置对自吸泵性能的影响分析

为研究自吸泵叶轮气液混合能力对自吸性能的影响,在叶轮原模型基础上,设计了叶片不同进口边位置的5种模型方案.采用VOF多相流模型对不同方案全流域进行三维定常数值计算,研究对自吸性能的影响规律.针对350WFB-1200-50型外混式无密封自吸泵,初始条件设定进水S型弯管中含一定体积的空气段,出口处设置含气率监测点.结果表明：针对中高比转速叶轮,进口边沿后盖板位置向出口前掠,使得叶轮进口边工作时对流体分时加载,可以有效提升叶轮的气液混合能力,从而缩短自吸泵的自吸时间;在一定前掠角度范围内改变进口边位置对自吸泵的扬程和效率影响不大,但是当叶片进口边向出口位置前掠超过一定范围时,会导致自吸泵扬程明显下降;当叶轮进口边前掠10°时,额定工况下自吸时间缩短25%,自吸性能明显得到提高.     

业务外包对图书馆可持续发展的影响

介绍了目前图书馆业务外包的外延和内涵,论述了业务外包之后的图书馆办馆效益,分析了业务外包带来的问题,对业务外包后的图书馆事业可持续发展进行了思考。     

医疗体育对大学生身高增长的影响

19至24岁的大学生,随着内脏器官的不断完善,两次身高增长的高峰期已经过去,一但骨骺部位闭合,骨化,身高的增长就几乎停止。通过对815名学生样本数据的正态分析和对中外多项增高实例研究,对比,得出大学生群体中身材矮小及伴随相关心问题的人,通过有针对性的体疗锻炼,能使其形体和心理都得到有效的改善。对大学生身体发育抢救阶段,医疗体育（体疗）方案,运动处方,增高器械等方面的深入探索,对培养高素质人才具有深远的意义。     

论"作者之死"理论的背景

罗兰.巴特的著名论文《作者之死》文字不多,但其思想来源却十分复杂:哲学界反理性思想尤其是福柯的"人之死"理论、索绪尔的结构语言学理论和拉康的主体观、法国当时的社会现实等都为"作者之死"理论的提出准备了条件。和福柯、拉康在哲学界高倡"人之死"、"主体死了"相呼应,巴特把矛头指向权力结构在文学批评领域的体现者——作者身上。他宣布了"作者之死",在话语领域中争取实现自己的乌托邦理想。     

关于拉普拉斯算子的第一、第二特征值的空隙的估计

利用极大值原理证明了对于Rn 中凸域Ω在狄利克莱边界条件下拉普拉斯算子的第一、第二特征值之差成立 :λ2 -λ1≥ π2d2 ,其中d为Ω的直径     

对公司会计信息失真原因的再思考

会计信息失真问题，是一个长期存在的现实问题。会计信息失真已经对我国国民经济的发展造成了极大的损害。从认识误区的角度对公司会计信息失真的原因进行了理性的思考，探讨了解决的对策。     

师范生数学应用能力的培养

培养学生的数学应用能力比单纯掌握数学知识更重要,是因为师范生走上工作岗位后要将自己的知识传授给他的学生.要进行知识的再创造,就应鼓励学生大胆猜测,鼓励学生质疑问难,让他们掌握知识的发生过程及来龙去脉,从而培养其运用数学的意识.     

湿度传感器稳定性的误差来源分析

阐述了湿度传感器稳定性的误差,指出影响湿度传感器稳定性的误差有线性误差、温度影响误差、湿滞误差以及校验标准误差等.     

对图书馆读者满意度问题的思考

分析了图书馆读者满意度的含义及衡量要素,论述了图书馆调查读者满意度的目的及方式,提出了图书馆提升读者满意度的策略。