可支持多语言的工作流动态演进

《可支持多语言的工作流动态演进 》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、可支持多语言的工作流动态演进摘要本文主要讨论如何实现不同定义语言的兼容性，同时设计一个组件为特定的工作流管理系统提供演进支持。对于不同的元模型（定义语言），此组件具有较好的适应性和可重用性。关键词工作流；定义语言兼容性；动态演进；工作流管理系统1引言所谓工作流，就是工作任务在多个人或多个单位之间的流转，在计算机网络环境下，这种流转表现为信息或数据在多个人之间的传送。工作流管理系统（S）就是通过管理一系列的工作活动以及相关人员、资源、信息技术资料来提供业务处理程序上的自动控制，其最大优点就是实现具体应

2、用逻辑和过程逻辑的分离，实现在不修改具体功能的情况下，通过修改业务流程模板来改变系统的功能，完成对组织生产经营过程的部分业务或全部业务的集成管理，有效地把人力资源、物质资源和信息组织在一起，发挥最大的效能。对业务过程的强大支持是企业获得成功的一个关键因素，工作流管理系统正是用来调整业务流程及实现业务过程自动化的软件系统。工作流管理系统并不是企业的业务系统，其本身并不执行任何业务逻辑，它只为业务系统提供一个运行环境。工作流系统可分为业务过程定义和业务过程执行两部分，定义部分称为流原型（S之间移植。每种

3、定义语言都有一套自己的概念和结构，由S解释这些概念和结构，一旦改变定义语言，则S的相当一部分都要重写。由于各种语言都有自己的特长，倚重或偏废任何一个都不利于技术的整体发展，因此作为独立的工作流管理系统必须具备处理各种定义语言的能力。可以采用“加一层”的办法来解决这个问题。在工作流定义与工作流执行引擎之间加一层所谓的“后台定义”，这样一来，由各种定义语言所描述的icro-workflow）体系结构，来解释前、后台定义及其转换。2.1前台定义Micro-icro-pleProcedure）——这些过程表

4、示树（指定义树，非元模型）中的叶子节点，它既可以是一个代表软件服务的过程，也可以是一个代表用户必须完成的工作过程。(2)复合过程（positeProcedure）——复合过程用于表示对控制流（序列、条件等）的管理结构，是树中的非叶子节点。2.2后台定义采用基础数据结构中的有向图来进行后台定义，其中节点代表活动步骤，节点之间的连接代表流（数据流或控制流）。控制流建立了节点的执行顺序，数据流定义了从一个活动传递到另一个活动的数据，任何图都有一个开始节点和终止节点。2.3前台定义到后台定义的翻译要完成从前

5、台到后台的翻译，前台定义模型与后台定义模型之间必须有一个完备的映射。前台定义模型提供编译规则从而生成后台定义，micro-icro-odificationoperation）的概念。3.1WFT版本化WFT版本化的主要思想是创建WFT的新版本而不是直接修改原有的WFT。WFT的行为信息保留在它的各个版本中，图3是图1元模型的扩展，提供了WFT版本化支持。一个WFT由一个或多个版本组成，并且某一版本只唯一隶属于一个WFT，也就说一个版本可以有多个子孙，但只能有一个父亲，每个版本都有一个版本号作为唯一标

6、识。当一个新的WFT加入到工作流模型中时，便建立了此WFT的根版本。如果要施加任何修改操作，则先创建此版本的一个子孙版本，然后在新版本上进行修改操作。一个版本可处于三种状态中：临时状态、发布状态及过时状态。一个版本一旦创建便置于临时状态中，处于临时状态的版本可以进行修改或移除，但不能进行实例化也不能产生子孙版本；一旦修改操作完成则变为发布状态，处于此状态的版本不能修改或移除，但可产生新版本；最后，当发布状态的版本变失效时，它的状态被置为过时。图3支持版本化的工作流定义元模型3.2修改操作为了处理工作

7、流模型，必须有一套定义良好的操作。所谓“定义良好”是指达到两个基本条件：完备性和正确性。完备性是指可以创建或移除WFT模型上的所有元素，正确性是指当完成一系列修改操作后可以保持WFT模型及实例的正确性。为了达到这两个条件，必须设置某些操作的先决条件，如果先决条件不满足，那么操作就不能执行。修改操作有两类：(1)CLASS1——创建和移除WFT以及控制版本的操作。这一类操作完全独立于前台定义语言。(2)CLASS2——修改WFT版本内容的操作，这些操作依赖于前台定义语言。因此当前台定义语言改变时，这些

8、操作必须重新实现。4工作流实例迁移WFI的迁移是一个WFI绑定到一个新版本WFT的过程。当一个工作流实例w从版本wt[x]迁移到wt[y]时，它便依据wt[y]开始执行。必须保证迁移操作不会产生无效的WFI，只有当w迁移到wt[y]后仍然保持有效状态，才允许进行迁移操作。4.1迁移条件要判断工作流实例w在t时刻是否可以迁移到wt[y]，一个简单的方法是分析以往w在t时刻所包含的事件，看其是否与wt[y]兼容，也就是说必须检验t时刻的每一个事件，看迁移到wt[y]后是否