SOA中基于BPEL的服务组合方法研究与设计

针对SOA中服务组合方法的服务编排问题,在深入研究BPEL技术标准以及其与SOA的关系基础上,设计了一种基于BPEL的服务组合方法。通过整合现有的服务,并按照业务流程的要求编排成新的服务,从而便捷有效地实现服务组合。在此基础上通过具体业务流程进行服务编排设计,验证该设计方法是有效的、可行的。     

基于SOA架构服务组合技术研究与实现

传统的软件系统和业务流程的紧耦合,使得系统不能为新的业务需求提供容易的、快速的、动态的支持,尤其是跨部门、跨系统的业务需求。针对这种现状,提出了基于SOA架构下的服务组合技术,并在此基础上,利用WS-BPEL实现基于工作流的服务组合,使得建立的业务流程具有高度的松耦合性、服务的重用性和高度的敏捷性,满足新的业务需求变化需求.     

服务化跨组织协同模型

针对如何动态组合联盟成员的异构业务过程及资源并使之协同工作这一虚拟组织构建中的关键问题,提出了一种服务化跨组织协同模型.该模型以数据服务化共享为基础,在异构过程协同与资源集成上为动态联盟构造提供支持,降低了跨组织异构资源集成的成本和风险.     

基于UML2.0的面向方面建模方法研究

面向方面编程是一种基于关注点分离的新技术,它成功解决了面向对象编程中所存在的代码缠结和散射问题,但在软件设计阶段并没有得到很好的支持。通过分析面向方面编程的特点及其概念,比较UML2.0的两种不同扩展方法,提出了基于Profile机制来定义新的模型元素,并为其增加新的语义,再通过对象约束语言(OCL)来对这些新增模型元素加以约束,从而实现了UML2.0对面向方面建模的支持。     

基于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的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

基于BPEL 和SOA 的事务处理的研究与实现

针对当前软件系统开发中存在的系统和组建差异等问题,引入了面向服务的体系结构（SOA）框架和商业过程执行语言（BPEL）,并分析了BPEL的特性。结合一个具体应用实例来说明如何使用BPEL设计业务流程,实验结果表明,基于BPEL进行事务处理是可行、有效的。     

BPEL静态缺陷检测方法

为了对广泛流行的业务流程执行语言（BPEL）进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法. 面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题. 该方法已用于BPEL的缺陷检测系统中. 实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.     

储层特性及地质建模方法的应用

储层的物性及变化规律在很大程度上控制着地下油气的分布、储量、产量及产能,直接影响油气勘探与开发。阐述了储层岩孔隙性、渗透性的基本物理特性;总结了储层地质建模的常用方法及其优点和局限性,分析得出,建模流程中“两步建模法”经两次条件约束能够很好地进行模型参数控制;认为随机建模较确定性建模能更好地反映储层复杂的地质实际,提高预测评估的精准度。     

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。     

面向审核流程的船舶CAD系统建模方法研究

为提高船舶CAD建模效率,同时为CAE分析和船体结构设计程序(SDP)校核提供通用数据模型,设计并开发了一套面向审核流程的船舶CAD系统.首先考虑审核流程的需求,采用几何与数据相结合的方式描述船舶模型,所有船舶构件均采用无厚度的几何片体表示.其次建立包含发布模型、设计主模型和工具模型的三层板架模型,以板架属性的形式记录板架及其附属结构的几何关系,并结合自定义结构导航树、通用三维建模软件NX装配树和特征树组织管理板架及其附属结构.然后基于轻量化数据库SQLite设计面向全生命周期的标准库系统,用来存储和管理船舶标准数据,确保快速查询.最后通过参数化建模与基于自定义特征技术的结构建模方法,快速生成船舶模型.该系统具有较强的交互性和稳定性,建模效率高且模型数据量小;模型经过数据转换可直接进行CAE分析和SDP校核,避免重复设计;数据库技术的使用实现了CAD、CAE和SDP模块间的数据共享,解决了数据分散不一致的问题;自定义结构导航树符合专业船舶设计人员的使用要求.     

基于工作流模型的业务流程测试方法研究

信息系统交付时的验收测试很大程度上都是对业务流程进行的功能测试.本文对信息系统中的业务流程进行功能测试,提出一种基于工作流模型的测试方法.该方法先对业务流程进行基于UML状态图的工作流建模,然后对此模型进行改进的深度优先遍历,生成从初始状态到终止状态的测试路径,一个路径即为一个测试用例.测试实践表明该方法对于信息系统的业务流程测试有效.     

基于ECA规则的业务行为描述方法

给出了业务行为的形式化描述,并在此基础上利用ECA规则详细给出了业务行为过程的描述方法、业务行为内部活动之间的关系模型,以及不同业务行为之间的关系模型,使业务行为过程描述变得清楚,而且有利于机器的自动解释。基于ECA规则的业务过程模型对过程的调整和动态变化带来了方便,增强了其适应变化的能力。     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

UML建模方法及其在虚拟企业经营过程中的应用

对市场反应敏捷，组织灵活的虚拟企业是未来企业的重要形态，它的主要职能之一就是执行分布，并行经营过程。本文在面积对象的建模技术的基础上，引入了面向对象标准建模语言，并用UML类图建立了虚拟企业经营过程活动模型，最后给出了UML描述的一个简单的虚拟企业经营过程实例。     

SOA的服务建模研究及其应用

分析了SOMA和MSOAM的方法及特点,在两者基础之上提出了简单、易用、兼顾服务发现和服务设计原则的服务建模方法,并以图书订单销售业务为例进行服务建模,对服务建模步骤中的服务发现与服务合并做了详细的描述,对服务建模在实际应用中有较大帮助和影响.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

面向服务架构的工艺创新设计

解决工艺问题的过程需要方法和知识的支持,为了能够按照设计需求组织各类资源,提出一种面向服务架构的工艺创新设计服务组合模型。从知识维、测量维和计算机辅助工具维出发,将方法和知识构建为策略服务和知识服务,建立了服务本体,并从服务层面描述了系统的架构。设计方法和知识资源经过语义化描述和同构化处理后封装为服务,并依据逻辑关系构成粗粒度的服务组件,以问题解决过程和工艺问题分类解决策略作为业务流程,灵活组织服务,从而辅助设计者创造性解决工艺问题。最后,以汽轮机轴的工艺改进为例,验证了该服务模型的有效性。     

基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,文章立足于业务流程建模和验证方法研究领域现状,以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证,由此证明了文中算法的有效性。此外,为了体现算法的应用效能,对算法进行了效率分析实验,实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后,依据文章的研究结果开发了验证算法的实用工具程序包,并对其应用效果进行了展示。综合而言,本文设计的流程验证方法合理高效,适合在实际系统中进行应用。