从BPMN到可执行业务流程建模

传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。     

基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

用BPMN辅助整合Web Services

介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合.鉴于BPMN的图形化设计,可以选择喜欢的可执行语言来实现该整合方案,主要采用与BPMN密切关联的Web Service语言--面向服务的业务流程可执行语言(BPEL4WS).     

从BPMN模型导出组合服务的代数规约

针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。     

全程优化平台中BPMN与BPEL相互转换的研究

针对传统的可视化业务流程模型通常无法直接转换成可执行的流程的陈旧观点,本文提出了全程优化这一方法论,通过对业务流程建模时BPMN到BPEL的映射关系的研究,在全程优化平台上实现了BPMN中基本元素与BPEL相互转换的业务流程图。这种转换使业务员和设计师能更好的交互,从而有效地提高企业对IT的监控力度,使IT更加符合企业业务的需求。     

BPEL for People的研究与应用

Web服务的业务流程执行语言（Business Process Execution Language for Web Services．简称BPEL4WS或BPEL）是对Web服务整合的一种规范化语言。本文介绍了BPEL4WS的基本概念以及在用户交互方面的扩展（BPEL for People），最后给出BPEL4WS文档，描述具体的流程实例。     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合，如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services，BPEL4WS），定义了Pi-演算和BPEL4WS之间的概念映射，并给出了BPEL4WS的基于P-演算的形式化模型，最后通过一个案例给出了模型验证的方法。     

一种工作流映射系统的设计与实现

BPMN是一种基于图元的业务逻辑流程标记,既能给用户提供简洁直观的业务模型表示,又具有十分强大的流程逻辑表达能力,同时还具有一定程度的抽象性,所以非常适合业务分析人员在流程设计、定义、分析阶段使用.目前BPMN已经成为了一种在不同的部门、企业和经济实体之间描述、展示和交流业务逻辑流程的有效手段,并且越来越受到企业经营者、客户以及研究者的重视和青昧.现阶段,已经有了一些基于BPMN的流程定义工具,但是至今还极少有一个业务流程管理平台能够提供对BPMN的解析执行.另一方面,工作流语言BPEL(Business Pmcess Execution Language)已经成为了Web服务工作流技术事实上的标准,并且得到了众多厂商、研究机构的支持.针对上述问题,本文通过对BPMN规范、BPEL规范的详细分析,根据既满足业务流程分析人员从高抽象层次上设计流程又最终能够在一个平台上具体执行业务流程的需求,在分析了这两种规范之间的语义差异的基础上,研究了BPMN到BPEL映射的具体方法和机制,设计并实现了一个工作流映射系统.     

BPMN到BPEL2.0的模型转换方法*

随着WSBPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。     

自治分段线性振荡系统的离散映射数值建模与稳定性分析

为研究自治分段线性振荡系统中出现的分叉及混沌动力学行为，系统建模及稳定性分析是一种必不可少的分析手段. 本文通过构造周期内离散映射解析模型，并结合边界条件的动态数值求解，提出了一种动态离散映射数值建模方法，进而推导了用以判定系统周期闭轨稳定性的Jacobian 矩阵求解模型. 最后，本文以电力电子系统中一种常用的5 维软开关逆变自治振荡电路作为实例，通过模型仿真观察到频率的分叉现象，并根据Jacobian 矩阵的特征乘数对系统的稳定性进行了研究. 基于该模型的仿真分析结果与实验系统中所观察到的现象一致，从而验证了该方法的有效性.     

三维地质界面网格模型构建算法研究

三维地质模型主要包含地质构造模型和地质属性模型。提出一种局部映射-边界控制的曲面三角化网格模型构建算法,与映射法相比,减少三维空间点映射到二维平面的计算过程,避免因多点到一点的映射关系而生成错误的三角化网格模型。基于地质测量数据特点,原始地质数据经处理后采用点集合形式表示,基于点集数据构建三维三角化网格模型,模拟地质界面的展布形态,控制三角网格质量。采用两种网格边界控制方法,在有边界约束数据和无边界约束数据条件下均能自动更新地质界面三角化网格模型边界。基于断层点数据集测试并展示算法构建的三维三角化网格模型可视化效果,通过断层面三角化网格模型能够反映断层面之间空间位置关系。     

Constructing the grid orthogonal and having the given nodal clustering near the boundary of a two-dimensional domain

A problem of constructing a structured countable grid in a two-dimensional domain by mapping a parametric domain with the given quadratic grid onto this two-dimensional domain is considered. The Dirichlet problem is solved for a system of quasi-linear elliptic differential second-order equations to find mapping functions. An additional local mapping that gives the control metric is used to control coordinate lines of the grid. The additional mapping helps obtain the grid with the grid lines of one family orthogonal near the boundary of the domain and having the given clustering of the grid lines of another family towards the boundary of the domain. An example that constructs the grid around the airfoil is given.     

Improving Initial Flattening of Convex-Shaped Free-Form Mesh Surface Patches Using a Dynamic Virtual Boundary

This study proposes an efficient algorithm for improving flattening result of triangular mesh surface patches having a convex shape. The proposed approach, based on barycentric mapping technique, incorporates a dynamic virtual boundary, which considerably improves initial mapping result. The dynamic virtual boundary approach is utilized to reduce the distortions for the triangles near the boundary caused by the nature of convex combination technique. Mapping results of the proposed algorithm and the base technique are compared by area and shape accuracy metrics measured for several sample surfaces. The results prove the success of the proposed approach with respect to the base method.     

采用向量化运算进行图像融合的真实感纹理映射

提出一种基于向量运算体现纹理形变要求的映射对应点获取方法,根据场景表面纹理走势特点划分表面形变控制网格,以网格边界为形变控制向量,通过对控制向量的合成取得映射点;同时,根据对应点亮度进行图像融合达到纹理真实感融入．对于场景表面纹理走势细节性变化给出了网格调整方法,进一步使用三次参数样条曲线拟合映射区域,基于曲率半径进行边界多边形化以实现对映射区域的精确判断．该方法能产生高度真实感的虚拟实景效果．     

Meshless Harmonic Volumetric Mapping Using Fundamental Solution Methods

Harmonic volumetric mapping aims to establish a smooth bijective correspondence between two solid shapes with the same topology. In this paper, we develop an automatic meshless method for creating such a mapping between two given objects. With the shell surface mapping as the boundary condition, we first solve a linear system constructed by a boundary method called the method of fundamental solution, and then represent the mapping using a set of points with different weights in the vicinity of the shell of the given model. Our algorithm is a true meshless method (without the need of any specific meshing structure within the solid interior) and the behavior of the interior region is directly determined by the boundary, which can improve the computational efficiency and robustness significantly. Therefore, our algorithm can be applied to massive volume data sets with various geometric primitives and topological types. We demonstrate the utility and efficacy of our algorithm in information transfer, shape registration, deformation sequence analysis, tetrahedral remeshing, and solid texture synthesis.      

闭合三角网格的优化切割与保角映射

提出一种自动地将任意闭合三角网格切开并保角映射到二维平面域的算法.通过对自动提取的模型初始切割线逐步优化得到模型切割线,优化过程由一个与保角映射扭曲度和合法性相关的成本函数控制.为了减小映射扭曲,算法中不预先固定参数域边界,而在参数化过程中自动地确定网格的自然边界.实验结果表明,该算法通过优化切割线和参数域边界有效地降低了三角形形状扭曲,并保证了参数化结果的合法性.     

The numerical solution of a navier-stokes problem in a stenosed tube: A danger in boundary approximations of implicit marching schemes

The numerical solution of a Navier-Stokes problem in a stenosed tube is determined by three approaches: (1) a conformal mapping followed by an explicit march; (2) a numerical mapping followed by a time independent approach; (3) a numerical mapping followed by an implicit march. It is seen that the third approach converges to an incorrect solution, unless care is exercised at the boundary.     

Improving accuracy of high-order discontinuous Galerkin method for time-domain electromagnetics on curvilinear domains

The paper discusses high-order geometrical mapping for handling curvilinear geometries in high-accuracy discontinuous Galerkin simulations for time-domain Maxwell problems. The proposed geometrical mapping is based on a quadratic representation of the curved boundary and on the adaptation of the nodal points inside each curved element. With high-order mapping, numerical fluxes along curved boundaries are computed much more accurately due to the accurate representation of the computational domain. Numerical experiments for two-dimensional and three-dimensional propagation problems demonstrate the applicability and benefits of the proposed high-order geometrical mapping for simulations involving curved domains.