一种基于Web服务的工作流过程模型

姜明月 李鑫

摘要：随着信息技术的的高速发展，在相对与较为松散的异步环境中往往要引入工作流系统，这就需要对工作流系统提出新的考验，在Web服务的基础上，提出一种基于Web服务的工作流过程模型，为过去松散的异步环境提高了可行性方案。工作流是现阶段的一种提高企业竞争力的关键，而整个管理系统中最核心的部分应该是工作流模型，在现有的Web模型基础上将工作流模型加入到其中，提出一种新的过程模型，同时在过程模型的基础上将事务的相关概念加入其中。

关键词：基于Web服务 事务 工作流

中图分类号：TP311.52 文献标识码：A 文章编号：1007-9416（2016）05-0000-00

本文主要在web的基础上引入一种可行化的工作流过程模型。从而为现阶段较为松散的异步环境提供一种可行性方案，为了保证其更加的安全可靠，同时满足相关的要求，在工作流过程模型基础上增加了事物的概念。

1 过程模型建模

基本定义：对于工作流的组成序列可以表示如下：

WF={p1，p2，p3.........Pn.......pm}。其中N，M，而P代表的只是一个工作流程。

对于web-service的建模主要擦用ws-bpel对其进行业务流程的建模，主要作用是通过ws-bpel可以将现有的所有服务有效的整合起来，在ws-bpel表达的相关过程中，所有的web都有相对应的关系对象，在此论文提出的工作模型中，每个每个相应的web服务都有其相对应的特定的活动进行对应。活动主要通过与相应的web服务器进行关联，从而与对应的服务进行相应的通信，同时对web服务的调用情况进行监控 ，获取相关的数据。Web服务并不关系活动的基本动作，主要遵照ws-bpel的基本流程在相关工作流的知道下进行自身的工作，此种法案能够最大限度的保证业务与逻辑的相分离，保证其在一定程度上的独立性。在Logic层中，基于相应的状态图进行描述，而在业务层中ws-bpel对业务流程进行描述。

业务层过程模型：业务层主要承担的动作，可以用一个相应的三元组进行表示：BP=（ID，A，R）其中ID表示的是再业务的整个过程中的唯一性代码。A=（A1，A2......AN）表示在整个业务层中所有活动的集合，R表示相应的约束条件，业务流程主要采用XML业务流程进行执行。ws-bpel提供了几乎所有流程的正规规则，同时其主要通过平台的独立方式进行期间的交互，通知直接得到了ws-bpel的帮助。ws-bpel的过程与其执行相互分离，为了能够达到这种效果，ws-bpel将许多感念 引入 其中，例如引入了相关性、变量、作用域等。

2 Logic模型的建模

对于logic模型的建模主要表达其在逻辑层中的基本活动，但是其并没有绑定相应的web服务，Logic模型主要是基于ECA规则进行相应的建模，且是主要基于状态活动网络动态图进行的，活动之间的状态更改主要有相关的ECA进行其主要规则变化的设定。在此所有的和活动中都有一个相应的web服务与之进行关联，从而能够监控到相应的web服务在业务层的表现，同时根据相应的web服务的基本表现得出相应的回执方式，从而触发相应的活动。从而能够从整体上实现通过逻辑层能够对整个系统的控制，通过相应的状态变化实现对于 路由的表达和干预。从而达到活动的控制和活动的实现能够同步进行，同时能够从基本活动的变化状态、操作状态、运行状态可以出发到整个业务层的ECA规则，从而保证整个模型在执行和异常之间的及时的回馈。

工作流的基本分析和描述：过程模型的事物特例，-bpel自身的机制，-bpel的运行主要被应用在作用域上，而对于作用域而言，其在一定程度上是可以嵌套使用的。同时作用域是能够采用结构化的活动进行，同时能够对相应的活动进行定义，是其能够自动的进行上下文的执行。在父子关系的作用域上，其中包含有一个协议，此协议主要用来表达和确定作用域所代表的长期运行的基本结果。通过此机制，-bpel可以自行的对一些差错的情况下产生的活动集合进行撤销，同时通过该机制能够对故障作用域及时的进行终止处理，同时发生相应的故障终止的处理信息和依据。同时，每一个程序多存在着一个作用域需要补偿是进行的相应的动作。-bpel对两种定义进行了相应的补偿，可以分为显隐两种方式，两种补偿的调用方法不同。

显式补偿：

Standard-attributrs>

Standard-elements