基于工作流技术的构件模型研究

合集下载

工作流参考模型分析

工作流参考模型分析∗王利霞北京工业大学，北京市 100022摘要：工作流技术从起源到现在已有三十年的发展历史，为了规范工作流技术的管理，1993年成立了工作流管理联盟（WfMC）。

WfMC统一了工作流的定义，制定了工作流产品结构和工作流参考模型等一系列的标准。

关键字：工作流工作流管理联盟(WfMC) 结构工作流参考模型The Analysis of Workflow Reference ModelWANG LixiaBeijing University of Technology, Beijing, 100022, ChinaAbstract：Workflow technology from origin to now have 30 years of history, in order to standardize the management of Workflow technology the Workflow Management Coalition (WfMC) was set up in 1993. WfMC unified the definition of Workflow, and developed the Workflow product structure and the Workflow Reference Model as a series of standards. Keywords：workflow; workflow reference model (WfMC); structure; workflow reference model1 引言工作流技术起源于二十世纪七十年代中期办公自动化领域的研究，由于当时计算机尚未在社会上普及，网络技术水平还很低以及理论基础匮乏，并且开发者还不了解群件技术的需求与缺陷，这项新技术并未取得成功。

1983年至1985年间，在图像处理领域和电子邮件领域出现了早期的含有工作流特征的商用系统。

工作流模型

过程视图是工作流模型的核心视图。

它描述企业的业务流程，定义业务过程中包含的活动以及这些活动之间的逻辑关系。

活动和活动间以连接弧表示控制关系。

通过描述活动的基本属性，如活动由谁执行，有哪些人员、组织或盟员企业负责执行，活动执行需要的软件(如应用程序)和硬件(如机床设备)资源，以及活动的触发条件、执行状态等，可以建立过程视图、资源视图和组织视图的关系。

过程视图是本文研究的主要内容，本文通过ECA规则来表达过程视图。

基于ECA规则和元操作的工作流建模原理3.1 工作流模型的结构图：工作流模型的结构1.1.1过程视图过程视图是工作流模型的核心视图。

它描述企业的业务流程，定义业务过程中包含的活动以及这些活动之间的逻辑关系。

活动和活动间以连接弧表示控制关系。

过程视图是本文研究的主要内容，本文通过ECA规则来表达过程视图。

1.1.2组织视图组织视图描述企业中的组织单元和组织单元间的关系。

组织单元是具有一定功能和责任的组织实体，一般会承担过程模型产生的各种任务。

组织单元之间往往存在从属或协作关系，形成一定的对应关系。

本文对组织视图描述中，采用一种面向对象的关系模型，不同于传统的层次结构。

是在组织模型中引入类的概念(如角色类、组织类、人员类、职位类等)，建立类之间的关系模型，支持层次化的查找和匹配规则，便于工作流的任务分配和执行者绑定。

1.1.3资源视图资源视图描述企业中资源的类型以及资源实体的属性。

资源是工作流模型中非常重要的一个概念，是活动可以执行的必备条件。

资源类型可以是执行活动所需的软件和硬件设施等，或者是活动执行后产生的新的物理实体。

组织视图和资源视图之间存在着映射关系，即每一个资源实体都有与其对应的责任组织单元，该组织单元负责对此资源实体的使用和维护。

系统分析辅导：工作流模型设计

系统分析辅导：工作流模型设计摘要：工作流模型是组织机构经营过程的模型表示，但由于工作流建模理论研究的相对滞后，现行工作流管理系统中普通存在语义不够丰富、柔性不好、表示不直观等问题。

为此作者在开发UniFlow工组流管理系统时，设计了一套基于有向图理论的工作流模型，该模型有效的解决了这些问题。

本文主要从工作流模型理论出发向读者介绍了本模型的设计思想。

文章首先详细介绍了工作流模型的定义和组成关系，然后详细介绍了基于有向图理论的工作流模型的主要功能和设计思想。

关键词：工作流工作流模型有向图过程1 引言工作流模型是对组织机构业务过程的抽象表示。

工作流模型是整个工作流管理系统的基础，它的确定性保证了系统内各组成部分之间交互的一致性，也决定了一个工作流管理系统从设计开发到运行实施的诸多环节。

不同的工作流模型也就形成了不同的工作流管理系统。

相对工作流产品的实现技术和发展而言，工作流建模理论的研究相对滞后，在建模方法上还没有形成比较系统化的理论体系。

目前已有的建模方法主要有：基于活动网络的建模方法、基于Petri网的建模方法、基于语言行为理论的建模方法、基于活动与状态图的建模方法和基于扩展事务模型的建模方法等。

但这些工作流模型普遍都存在以下问题：（1）模型语义不够丰富，表示复杂问题的能力不足；（2）模型的柔性不好，不容易处理在执行过程中出现的不确定性问题；（3）表示方法不够直观等。

在信息管理自动化的环境下，工作流模型必须采用简单、直观、又具有较强描述能力的面向组织用户的模型。

因此，作者设计UniFlow工作流管理系统时，在参照工作流管理联盟（Workflow Manangement Coalition 简称：WfMC）工作流理论的基础上，博采众长，建立了基于有向图理论的UniFlow工作流管理系统工作流模型，该模型有效的解决了工作流模型中普通存在的问题。

下文主要向读者详细介绍这一模型的相关理论与设计思想。

2 工作流模型概要企业、政府机关等组织机构是一个复杂的系统，用过程的观点来看待这些组织机构，组织机构的组成元素就是过程，过程的组成元素就是活动；工作流模型就是对这些业务过程的抽象表示。

基于工作流理论的建筑加固设计文档生成模型研究

图２ＹＧＣａＧＪｄ系统来自构模型ＹＪＣｄ把计算序列看成是工作流的过程定义，ＧＧａ计算序列由一计规范参数也不一样，因此必须对参数的表示进行标准化定义，才有个或多个计算元序列组成，一个元序列中包含若干个计算步骤，每个可能让工作流引擎算法对不同的加固模块进行统一的数据处理。② 计算步骤可以看成工作流过程定义中的一个活动。计算步骤中包含研制加固模块Ｇ生成器。用以接收加固设计工程人员的参数输ＵＩ过程控制数据，它通过设置跳转条件决定了下一个计算步骤。计算序入，并形式化为标准的工作流数据表示。 ③过程控制数据的标准化表列对应着构件的加固方法，它包括了加固设计计算的全过程。不同构示。程控制数据是加固设计计算的核心，过它决定着数据执行的流程件的不同加固方法经过过程定义建模后，计算序列具有相同的存储和数据去向，接影响加固设计的最终输出。④ 通用数学表达识别、直结构和表示方法，为工作流引擎进行统一运算打下了基础。这计算算法研究及Ｏｆｃｆｅ公式生成算法研究。过程控制数据中定义了ｉＹＪＣｄ把加固设计计算程序看成是工作流引擎，它为每个ＧＧａ很多数学表达式，对这些数学表达式进行提取、别、识计算是工作流计算序列开辟一个内存栈，负责管理和维护计算序列中的变量，对引擎的一个重要工作。 ⑤工作流引擎算法研究。工作流引擎根据模块计算序列进行运算，将运算的结果以统一的格式输出，为计算书生参数定义和过程数据定义生成和管理加固设计工作流实例，开辟和成提供标准化的数据。管理工作流实例的变量栈，负责工作流各动作的数据运算。 ⑥模块文加固计算程序在运算过程中需要运用到一系列数据，ＧＧａＹＪＣｄ档的ＸＭＬ模板定义及Ｗｏｄ文档转换算法。工作流引擎运算的结把国家标准和行业标准中的规范数据经验公式、件的加固设计参ｒ将构果替换到模板中，杷模板转换成Ｗｏｄ生成书。ｒ ⑦工作流定义工具设数和预定义的ＸＭＬ模板等看成是工作流模型相关数据。这些相关计。根据模块参数规则和过程数据编写规则，设计一套过程定义工数据通过建模工具或输入工具导入系统。具，为不同加固类型模块的工作流定义提供支持。界面参数配置程序、加固设计界面生成器和计算序列编辑程序构２工作流参考模型成了工作流的建模工具。面参数配置程序对不同的加固方法和构件界工作流概念起源于生产组织和办公自动化领域，是针对日常工作所使用到的加固参数提供配置，不同构件的不同加固方法对应的加固中具有固定程序活动而提出的一个概念。１９９３年工作流管理联盟参数不同。固设计界面生成器根据加固界面参数生成加固设计界面加（ｏｋｌＭａａｅｎｏｌｔｎＷＦ）为工作流管理的标准ＷｒｆｗｎｇｍｅｔＣａｉｏ，ＭＣ作ｏｉ的实例与用户交互，加固设计界面在ＹＪＣｄ中被看成是工作流模ＧＧａ化组织而成立，标型中的用户界面，构模型的展示与交互区在ＹＪＣｄ中也被看成结ＧＧａ志着工作流技术了一个用户界面。计算序列编辑程序则为过程定义提供建模。

基于本体的工作流抽象模型

动态构建和扩展过程，同时给出了在基于本体抽象模型框架下的工作流抽象建模过程．
关键词：工作流抽象模型；工作流感知；本体类；为本体类；行为关系本体类行
中图分类号：Ｐ９Ｔ３１文献标志码：Ａ文章编号：１７－４９２１）２０９－６１５８（０２０－２９０６
摘要：基于本体的抽象模型框架，出一种工作流的感知建模方法，通过感知特定领域中实提
际运行的具体工作流获得构建该领域工作流抽象模型的知识，既可为工作流模型的设计提供
共享和重用机制，可直接构造该领域的工作流抽象模性，实现工作流的部分或全部自动化也运行．并给出了工作流行为本体类和行为关系本体类的定义，形式化地描述了两个本体类的
ｐｒｅｔｏｍｏｅｉｓｐｏｏｅｅｃｐｉｎ・ｄｌｎｇｗａｒｐｓｄ．ＫｎｗｌｄｇｆｃｎｔｕｃｉｇｗｏｋｏａｔａｔｎｍｏｅｆａｐｒｉｕａｅｄｏｅｅｏｏｓｒｔｎｒｆｗｂｓｒｃｉｄｌｏａｔｃｌｒｆｌｌｏｉｃｎｂｅａｔｒｄｉｐｒｅｖｎｔｈｐａｔｃｌｒｆｗｒｎｉｇｎｈｆｅｄＴｈｋｏｅｇｐｏｉｅｔｅｌｕｎｎｉｔｅｉｌ．ｅｎｗｌｄｅｒｖｄｓｈｍｅｈａｓｏｈａｎａｄｅｓｆｒｔｓｏｒｆｏｃｎｉｍｆｓｒｇｎｒｕｅｏａｋｆｗｏｋｗｍｏｅｄｓｇｉｌｄｌｅｉｎ，ｗｈｃｉｕｅｔｃｎｔｕｃｒｆｏｉｈｓｓｄｏｏｓｒｔｗｏｋｗｌ

基于模型驱动架构的工作流管理系统开发研究

旧平台的流程模型先转换成ＰＭ之后，Ｉ再重新部署到
新的流程平台上。
细分，基本上工作单元除了可以是执行单一工作（程
序）的活动外，可以是一个子流程或是一个为完成也
某个目标的群组工作，以进一步地从Ｔｓ所ａｋ元素继承衍生出ＳｂｌｕＦｏｗ与Ｇｏｐａｋ这两个子元素来分别建ｒｕＴｓ模子流程与群组工作，中Ｇｏｐａｋ可以包含１至其ｒｕＴｓ多个其它Ｔｓａｋ元素，Ｓｂｌ而ｕＦｗ元素则会参照到模型ｏ中的其它Ｐｏｅｓｒｓ。另外，ｃ工作流程中的资源也可以再细分为参与工作流程的角色与应用程序，以由Ｒ — 所ｅｓｕｃ元素会再衍生出Ｒｌｏｒｅｏｅ与Ａｐｃｔｎ两个子元ｐｌａｏｉｉ
计算机网络与软件、管理信息系统。
可，由此可大幅增加模型的重复使用性。
・Hale Waihona Puke ９０・计算机技术与发展
第２卷ｌ
工作流管理系统实施过程中通常需要针对具体的
业务过程进行业务系统的改造和重构，就为ＭＤ这Ａ进入工作流管理系统提供了现实的基础，一些研有究者也开始从ＭＡ的角度研究工作流系统 “ 。笔Ｄ者将ＭＡ的开发思想导人工作流管理系统的开发中Ｄ来，以降低在转移流程平台时花费的成本。由于流程模型无法重复利用的主要原因在于流程模型的异质性，以将工作流程模型的建立划分成两阶段，所第一阶段建立仅描述流程的ＰＭ，二阶段按照部署的流程Ｉ第平台将ＰＭ转换成该平台的ＰＭ，由ＰＭ产生该平ＩＳ再Ｓ台的流程定义文件。除此之外，当需要将旧有的流程平台转移至新的平台时，也可以通过反向工程技术将

基于工作流的软件测试H模型研究

基于工作流的软件测试H模型研究摘要：针对当前软件测试存在的问题，在深入分析现有各测试模型的基础上，引入工作流理论，以任务分配为引擎，结合软件测试H 模型，提出一种可行的改进方案。

关键词：软件测试；工作流；H模型；工作流引擎0 引言软件测试过程用于指导软件测试的流程及安排测试活动的实施。

测试过程的优劣会影响测试结果的准确和有效性。

针对被测试软件的特点和测试目的，在实践中总结出了若干测试过程模型。

软件测试模型是测试工作进行的依据，它描述了测试过程的主要活动及其相互关系等。

为了提高模型的准确性和有效性，并能在测试的整个生命周期发挥作用，关键是合理划分模型中的各个阶段，及其实施的活动，并为这些活动制定合理的执行顺序。

1 常用软件测试过程模型模型是一种沟通工具，测试过程模型能帮助项目中的测试人员明确目标和确认职责，良好的测试模型可以提高测试的效率。

现有软件测试过程模型有很多，常用的主要有V 模型、W模型等。

1.1 V模型现有的模型中最有代表性的是V模型，20世纪80年代后期由Paul Rook提出。

V模型反映了测试过程与分析、设计阶段之间的关系，认为测试的过程存在不同级别，并描述各个阶段之间的对应关系，软件测试过程V模型如图1所示。

V模型揭示了软件测试活动分层和分阶段的本质特性，但也存在一些问题，V模型把系统开发过程划分为具有固定边界的不同阶段，容易让人形成测试是开发之后的一个阶段。

V模型没有明确测试设计，导致需求阶段隐藏的错误可能要到最后验收测试时才被发现，解决这样的错误要付出很大的代价，相比之下，Evolutif公司提出的W 模型显得更科学些。

1.2 W模型W模型是在V模型的基础上自然发展起来的，软件的错误具有传递性，在需求分析阶段产生的错误，会传递到设计和编码阶段，因此，测试工作应尽早进行。

W模型强调，整个软件生命周期都应该伴随有测试活动，阶段性的开发活动完成后，就可以开始测试，也就是说，测试与开发可以同步进行。

工作流管理系统中组织机构模型的研究与设计_汪永好

工作流管理系统中组织机构模型的研究与设计
汪永好
!北京电子科技学院计算机科学与技术系 " 北京 #!"""#"$
摘要 # 本文首先分析了组织机构模型在工作流管理系统中的地位与作用 " 然后针对企业组织机构模型
存在的多样性与易变性 " 提出了对企业具有较强通用性的组织机构模型及其完整的设计方案 % 最后 " 还给出了该组织机构模型的一个应用实例 % 关键词 # 工作流管理系统 & 组织机构模型 & 过程定义 & 任务执行者中图分类号 #!"#$$%&! ’()*+)!!!!!!!!!!!! 文献标识码 #! 文章编号 #"#$%&’(’)*%++’,+’&++$-&+’
由此可见 " 对一项业务流程实施工作流技术的前提 " 是对该业务流程进行合理而准确的抽象 " 并将其表示为计算机可以理解的逻辑模型 , 该模型又称为过程定义 " 它通常包括构成过程的活动 ) 活动间导航的规则 ) 执行活动任务的参与者 ) 被调用的应用程序 " 以及所有工作流相关数据的定义 , 示意图如图 ! 所示 5!65:6, 其中 " 活动是过程定义的最基本组成部分 " 它通常表示一个工作或任务单元 , 而活动任务的具体执行则由参与者来完成 , 这里的参与者其实是一个笼统的称谓 " 具体涉及到谁 " 还需要依据实际业务流程来明确定义 , 一种做法是将其直接定义为具体的员工 =$或员工 >" 但这样做具有一个明显的不足 " 即缺乏灵活性 , 因为企业中一旦出现人事变动 " 如员工 = 调任或员工 > 晋级都需要对过程定义进行重新修改 , 为此 " 有效的方法是引入一个组织机构模型 " 然后让参与者引用组织机构模型中的组织元素 , 由于组织元素通常只是抽象的角色定义 " 所以过程定义一般也就不再涉及到具体的某人 " 这样不仅避免了过程定义修改的需求 " 使它变得更为健壮 " 还具有如下优势 #

计算机科学2007年第34卷总目次

维普资讯
计算机科学２０年第３卷总目次０７４
第１期
ห้องสมุดไป่ตู้
工业ＣＴ断层图像自动生成ＳＬ文件的方法 ……… （０）Ｔ２１
量子进程 ………………………………………………… （０）２３面向测试的多视图构件模型 ……………………… …… （０）２８
一
（２）２８
关于Ｐｔｉｅｒ网精细化操作及其应用研究 ……………… （３）２６基于过程蓝图的重构操作 …………………………… （４）２２ＯｐｎＭＰ：ｅＣ一个支持事务存储模型的多核处理器模拟器
… … … … ・ … … … ・ … ・ … … … ・ … ・一 … … … … ・ … … ・・
流数据挖掘综述 …………………………………………… （）１可传递签名研究综述 ……………………………………… （）６数据基因：数据的进化过程管理模型 …………………… （２１）ＦｌｗＭｅｉ：ｏｌｏＬｔ用于普适计算的轻量级中间件平台 …… （７ｅ１）基于描述逻辑的特征模型 ……………………………… （１２）无线自组织网络中的ＩＥ８２１ＥＥ０．１ＭＡＣ协议的研究 … （６２）种ＡｄＨｏｃ网络中的安全匿名按需路由协议 ……… （９２）变结构拥塞控制协议ＶＣＰ研究 ………………… …… … （４３）无线传感器网络的拓扑控制机制 …… ………………… （６３）ＷＮＰ拓扑中关联控制技术的研究 …………………… （９３）信源一道联合编码的ＦＳ增强层视频传输研究 …… （２信Ｇ４）基于空间相关性的复杂度可分级帧间模式选择 ……… （６４）移动自组网安全地址自动配置方案研究 ……………… （Ｏ５）基于蚂蚁代理的ｏｏｓ多播路由算法 …………………… （２５）基于ｎ２的ＬＯ卫星网络路由算法模拟 ……………… （７ｓＥ５）种基于ＥＮ的拥塞价格机制 ……………………… （１Ｐ６）ＭａｔｒＳａｅｓｅ／ｌ结构下可保证边竞争ＯｏｖＳ限制的资源分配策略 … … … … … … … … … … … … … … … … … … … （４６）基于仿真的高速长距离网络中ＴＰ协议性能评价 …… （７Ｃ６）ＡｄＨｏ网络性能测量分析 …………………………… （１ｃ７）面向天基实时系统的ＯＳ监控算法研究 ……………… （４ｏ７）基于索引的ＸＭＬ查询技术研究 … … … … … … … … … （８７）ＥＴＬ执行过程的优化研究 … … … … … … … … … … … … （１８）移动对象数据库预测范围聚集查询技术研究 ………… （４８）种ＸＭＬ概念模型—— ＸＵＭＩ ……………………… （８８）基于ＤＭＢ手机ＥＧ系统的ＸＰＭＬ数据存储与传输技术研究 … … … … … … … … … … … … … … … … … … … （２９）移动分布式环境下服务适配系统研究 ………………… （７９）基于ＸＭＬ路由网络的主动兴趣管理研究 ………… （０）１０基于混合遗传算法的工作流重构研究 ………………… （０）１３Ｄ４Ｍ６２在网络多媒体开发平台中的应用 …………… （０）１６多模态体育视频语义分析 ……………………………… （０）１９基于移动代理的安全集式路由协议 …………………… （１）１２种基于身份的分布式会议密钥分发方案 …………… （１）１５个数据膨胀率为１的概率公钥密码系统 …………… （１）１７无线传感器网络测试技术与测试平台研究 ………… （２）１０种基于ＤＭＳ的无监督异常检测算法及其应用 … （２）Ｂ１３种基于ＤＳＭＬ的证书验证方案及其实现 … …… … （２）１８概率逻辑模型与学习研究进展 ………………… …… … （３）１０种基于结构分解的影响图模型选择算法 ………… （３）１３ＩＤＮＢ懒惰学习双层朴素贝叶斯分类器 ………… （３）Ｌ：１６视觉跟踪模糊自调节Ｐ控制算法 …………………… （４）Ｉ１０应用机器学习于Ｃｉｈ平方密写分析的研究 …………… （４）１４种基于“ 交并集” Ｐｇｉｉ概率的证据冲突的改进方和ｉｎｓｃｔ

单位(章)网络与教育技术中心现职称工程师申报职称

单位(章)：网络与教育技术中心现职称：工程师申报职称：高级工程师方式：正常推荐单位意见申报人承诺学科组意见本单位已审核申报人基本条件和材料，符合《烟台大学职称评审条件》规定的申报条件，经评议，其推荐位次为/ 。

负责人签名：本人所提供的个人信息和证明材料真实准确，对因提供有关信息、证件不实或违反有关规定造成的后果负责。

申报人签名：一、基本情况姓名现名丛方杰性别男民族汉曾用名无出生年月1979.10参加工作时间2009.09身体状况良好学历毕（肄结）业时间学校专业学制学位2002.07 大连理工大学计算机科学与技术4年学士2008.11 大连理工大学水文学及水资源 6.5年博士现专业技术职务、聘任现职务时间及年限工程师2010.03/5年现从事何种专业技术工作工程技术（地图学与地理信息系统）任现职以来各年度考核结果2010年:合格;2011年:合格;2012年:合格;2013年合格;2014年合格任职届满考核结果合格懂何种外语，达到何种程度免试，博士学位全国专业技术人员计算机应用能力考试情况免试，博士学位现任（含兼任）行政职务及任职时间无参加何种学术团体并任何种职务,有何社会兼职无二、工作经历起止时间单位从事何种专业技术工作职务2009.09-2011.05 烟台大学网络与教育技术中心技术部计算机应用技术无2011.06-至今烟台大学网络与教育技术中心资源部地理信息技术应用副主任三、学习培训经历（包括参加专业学习、培训、国内外进修等）起止时间专业或主要内容学习地点证明人2009.12-2011.12中南大学信息科学与工程学院计算机科学与技术博士后流动站与山东招金集团博士后工作站进修博士后山东招金集团、中南大学人事部门审核人签名一、基本情况：二、工作经历：三、培训经历 2015年度烟台大学申报评审专业技术职务情况一览表（学校评议用）四、任现职前主要专业技术工作业绩登记任现职前，自2003年以来一直主要从事地理信息技术的研究和应用（主要是水利行业和矿山行业），作为技术负责人参与的主要包括黑龙江省防汛指挥决策支持系统（黑龙江省重大科技项目）中的基于二维GIS的信息服务子系统、大连市城市地下水资源管理地理信息系统、桓仁电厂防汛会商地理信息系统等，并在相关学术杂志发表11篇文章。

基于构件的工作流建模研究

计２０１３年第３期
文章编号：１００６ — ２４７５（２０１３）０３－０１０６－０４
算
机
与
现
代
化
第２１１期
ＪＩＳＵＡＮＪＩＹＵＸＩＡＮＤＡＩＨＵＡ
基于构件的工作流建模研究
肖春水，陈中育，郭婷
（浙江师范大学数理与信息工程学院，浙江金华３２１００４）摘要：采用范畴论，把工作流过程模型中的元素抽象为工作流构件，模型中的逻辑次序抽象为构件之间的态射关系，提出
一
种基于构件的工作流范畴模型。利用范畴推出运算，给出工作流构件的组合操作语义，并用实例进行分析。
前，对工作流的建模大多采用ＵＭＬ、Ｐｅｔｒｉ网和面向对象等技术，尽管Ｐｅｔｒｉ网是一种既有严格数学基础，又
有直观形象的描述与分析工具，但是由于企业业务过
程的复杂化和多变性，其过程模型越来越复杂，当工作流环境发生改变时，不易做出相应的变动来满足企
和重用性，但其缺乏对构件工作流模型的柔性考虑，未提供有效的组装方式将功能构件和控制构件组装成一个有效的工作流模型。可见，工作流建模方法研
究的主要问题是，如何解决工作流模型在形式语义、可视性和柔性等几方面的均衡问题。范畴论是一门抽象的数学理论，其特点是侧重于

动态工作流建模方法的研究与设计

第10卷第6期计算机集成制造系统Vol.10No.62004年6月Computer Integrated Manufacturing Systems Jun.2004文章编号:1006-5911(2004)06-0601-08动态工作流建模方法的研究与设计邓水光,俞镇,吴朝晖收稿日期:2003-06-11;修订日期:2003-09-03。

基金项目:国家863/CIMS 主题资助项目(2001AA414320,2001AA113142);浙江省重点科研资助项目(2003C21013)。

作者简介:邓水光(1979-),男,浙江大学计算机学院博士研究生,主要从事工作流、中间件等技术研究。

E-mail:dengsg@ 。

(浙江大学计算机学院,浙江杭州 310027)摘要:为了提高工作流对动态不确定因素的处理能力,提出了一种基于事件-条件-活动规则和活动组合的动态工作流模型。

该模型用柔性活动封装流程中的不确定因素,用选取规则和组合规则来约束柔性活动的具体化过程,并设计了一个追求活动最高并发度的活动自动组合算法,以便最大限度地利用系统资源,提高流程执行效率。

还设计了一个检验活动选取和活动组合的算法,保证了柔性活动具体化后形成的子流程的合法性。

关键词:动态工作流;工作流模型;活动组合;并发度中图分类号:T P317.1 文献标识码:A0 引言随着企业环境的持续变化,不确定性和多变性已经成为现代企业流程的内在特点。

提高工作流系统应对流程变化的能力,已经成为工作流领域研究的热点问题之一。

工作流模型通过定义任务(活动)、任务间逻辑顺序、数据和资源等对流程进行抽象处理[1];但大多数工作流软件产品仅对可预见、可事先给出完整定义的流程进行管理,对流程动态变化因素缺乏支持[2]。

根据业务流程变化的特点,工作流被划分为柔性工作流、自适应工作流和动态工作流[3]。

柔性工作流在业务流程发生变化的情况下能做出相应的改变,其难点在于如何将运行中的工作流实例迁移到新的工作流模型中[4~6];自适应工作流能处理工作流执行过程中出现的异常,其难点在于如何处理无法预料的异常情况[7,8];动态工作流在流程定义不完整的情况下,能生成流程实例并运行,其难点在于如何对部分流程信息进行建模,这也是本文的研究重点。

基于模型的系统工程(MBSE)的案例研究,第 2 部分为分布式系统的分析和设计开发以数据为中心的流程

在本系列的第 1 部分中，我们获得了UAV 地面控制器的系统设计，我们使用IBM Rational Harmony 系统工程作为一个流程，指引我们了解子系统和逻辑接口。

不过，分布式系统的设计往往以数据为中心，而数据实体在系统设计中又占据最重要的位置。

因此，很显然，我们只好稍微调整一下Rational Harmony 系统工程流程，让设计流程把重点放在数据实体上，同时继续将Rational Harmony 系统工程等成熟的MBSE 流程的优势融入设计中。

在分布式系统设计中，使用一个先进的接口语言来定义这些数据交互是有必要的，这样做不仅可以在整个交互过程中确保各子系统的一致性，还可以捕获设置在语言本身中的数据的交互目的和行为。

在不断变化的接口规范语言中，类似的步骤是通过OMG 数据分发服务(Data Distribution Service, DDS) 规范（参阅参考资料）实现。

在派生的逻辑接口中的子系统之间弹出操作性ICD（界面控制文件）时，标准的Rational Harmony 系统工程流程结束时的切换（参阅参考资料）已经足够用，但是，在利用数据分发服务(DDS) 将这些逻辑接口映射到信息交换结构时，可能并不简单。

在本文中，我们将尝试调整标准的Rational Harmony 系统工程流程的工作流，让它支持分布式不协调性，而不是支持Rational Harmony。

首先，我们将介绍DDS 规范和Problem-frame Analysis 的结构（请参阅参考资料）。

然后，我们遵循修改过的MBSE 流程中所涉及的步骤，这些步骤及时采用了DDS，并在整个分布式系统的分析和设计过程中体现它。

最后，您应该能够通过使用与本文第 1 部分中相同的案例研究来运行这些步骤。

了解DDS 和问题框架分析OMG 数据分布服务(Data Distribution Service, DDS) 规范被划分为两个架构层次。

下层是以数据为中心的发布和订阅(Data Centric Publish and Subscribe, DCPS) 层，其中包含了发布和订阅通信机制的类型安全的接口。

国内高校SDN创新

提供第三方的开放构件库和重构功能提供服务。分布式ＳＤＮ网络操作
系统（ＤＮＯＳ）直接管控底层物理网络，以提高网络操作系统的可伸缩性、
可靠性和响应能力。实验室研究目前紧密结合产业链，研制兼容ＯｐｅｎＦｌｏｗ协议的分布式ＳＤＮ控制层网络设备。该系统自下而上采用如下四层架构：１．数据转发层，由ＤＮＯＳ实现南向接口来对接标准化ＳＤＮ数据转发层，兼容现有ＯｐｅｎＦｌｏｗ协议，并拓展安全可靠、可伸缩、高效的域间数据面控制机制；２．网络操作系统层管控底层物理网络资源，通过ＤＮＯＳ间分布式协作实现水平可伸缩、业务可编程和标准化南北向接口等技术特性，该层向上层提供一致性的网络视图作为北向接口，在视图模块上实现底
研究成果包括：１．以数据为中心的软件定义网
络架构ＳＯＤＡ（ＳｏｆｔｗａｒｅＤｅｆｉｎｅｄＤａｔａＣｅｎｔｒｉｃ
用基于ＸＭＬ的技术实现方式，实现对网络的控制和转发功能的抽象封
务应用层，为高级网络管理和应用，如ＢＯＳＳ、计费系统以及增值服务等，提供ＯＳＡ／Ｐａｒ｜ａｙ、Ｐａｒ｜ａｙ／Ｘ、ＯｎｅＡＰＩ和ＩＭＳ等接口。
应用程序来获取全局网络视图，以解决因特网源地
址验证标准（ＳＡＶＩ）的不足。
Ｎｅｔｗｏｒｋｉｎｇ）。与ＯｐｅｎＦｌｏｗ相比，ＳＯＤＡ大大增强了数据层面的处理能力，可以对数据流进行更

基于工作流中的测绘工程管理模型研究

3基于工作流的测绘工程管理模型研究提升方案
3.1确保模型考虑实际情况
为了有助于人们最好模拟出工程建筑的操作之中的实际情况，专业人员需要在基于工作流的测绘工程管理模型设计之中考虑出实际情况，而非一味注意保证外观设计以及工程效率问题，充分调配资金以及人员设备之间的关系，力求解决实际与理想状况之间存在矛盾。因此在测绘工程管理模型研究之中需要有更多的精力放在如何才能够确保模型充分考虑实际情况方面，避免出现由于实际情况准备不足和调配不均而引起模型搭建不理想，或者是影响到后续的实际工程操作。
2.2生产安全问题难以利用模型保证
基于工作流的测绘工程管理模型建立的目的就是为更好模拟出在实际工作过程之中可能会发生的各种情况，但是其他问题都比较容易被模拟出实际情况，而在生产安全方面却难以保证能够完全模拟出来。因为生产安全方面问题涉及到多种干涉条件，并且存在较多不定因素，因此在基于保证生产安全问题方面，测绘工程管理工作者应该明确考虑到各方面问题。
参考文献
[1]陈壁飞.测绘工程的质量管理与系统控制问题分析[J].中国高新技术企业，2010.
基于工作流中的测绘工程管理模型研究
摘要：工作流指从事某项工作时工作流程相对比较固定，表现出一定的规律性，并且将活动抽象为一种角色、规则或者任务，并对其进行有效的监控从而实现提高工作效率目的。测绘工程的监理作用也越来越明显，进一步探索和完善测绘监理工作也必将成为基础测绘工作重要组成部分。本文就这一问题进行一定研究，对于测绘监理现状进行一定分析，提出对于基础测绘监理的内容分析，包括对于监理程序和质量控制上都要一定合理方法。
3.2及时上报管理情况以便验收
对于基于工作流的测绘工程管理模型制作方面，由于需要随时考虑实际情况以及预算控制方面的问题，所以对于如何制作模型以及模型制作的细节都需要随时上报到上级以便管理以及获取最新的设备信息。而对于后期的验收方面，随时上报模型管理以及制作方面的进度也有利于之后的验收，并且为之后可能出现的法律纠纷等等突发情况提供实际的依据。

Petri网的OA工作流模型的研究与设计_陈立

４）ｄｏｍ（Ｆ）∪ ｃｏｄ（Ｆ）＝Ｓ ∪ Ｔ其中ｄｏｍ（Ｆ）＝｛ｘ｜ｙ：（ｘ，ｙ）Ｆ｝、ｃｏｄ（Ｆ）＝｛ｙ｜ｘ：（ｘｙ）Ｆ｝分别为Ｆ的定义域和值域。Ｓ和Ｔ分别称为Ｎ的库所（Ｐｌａｃｅ）集和变迁（Ｔｒａｎｓｉｔｉｏｎ）集，Ｆ为流关系（ＦｌｏｗＲｅｌａｔｉｏｎ）。库所和变迁又称为Ｓ元素和Ｔ元素，或Ｓ元和Ｔ元。Ｘ＝Ｓ ∪ Ｔ称为Ｎ的元素集。Ｆ是由一个Ｓ元素和一个Ｔ元素组成的有序偶的集合，称为Ｎ的流关系。
９７
一线技术
始模型图。图８：第一步化简结果
ＷＦ＿ＬＯＧＩＣ肯定是畅通的。图４：工作流原始模型图从实际的业务流程来看，这个流程还只是一个基本流程，还需要进一步完善。第一：在实际流程中一份公文拟稿交部门领导审核批阅中，可能不合格，则要求回到ｔ１重新拟稿，这里需要加一条ｔ２到ｔ１的路由。第二：该公文可能与其它部门无关，则ｔ２不需要其它部门会签，也有可能不要提交办公室主任审核而直接提交领导签发，因此这里需要加一条ｔ２到ｔ８的路由和一条ｔ２到ｔ９的路由。第三：会签可能不能通过，则要返回到部门领导，因此要添加一条ｔ７到ｔ２的路由。第四：办公室主任审核可能不通过，则要返回到部门领导ｔ２重新审核拟稿，这里也要加一条ｔ８到ｔ２的路由。第五：领导审核不通过，同样需要回到ｔ８重新审核，也要加一条ｔ９到ｔ８的路由。经过上述完善，图４的工作流原始模型发展为完整工作流模型，如图５所示。本文中仅对一个基本的工作流程模型设计作了介绍，对于完整的复杂的工作流程可以以本例为基础，结合Ｐｒ／Ｔ＿系统、有色网系统等高级Ｐｅｔｒｉ网技术来实现。下面我们就来验证我们前面设计的工作流模型的逻辑的正确性，证明之前，我们先了解几个要用到的化简规则［４］：规则１：若ｐ１＝（Ｔ１，Ｔ，（ａ，ａ１）和ｐ２＝（Ｔ，Ｔ２，（ｂ１，ｂ））满足ａ１＝ｂ１，则可以化简为ｐ＝（Ｔ１，Ｔ２，（ａ，ｂ））。规则２：若变迁ｔ和库所ｐ１，ｐ２满足ｔ ∈ ｐ１・∧｛ｔ｝＝・ｐ２且ｐ２・≠Φ∨ ｐ１・＝｛ｔ｝，则ｐ１和ｐ２可以完全合并为ｐ，・ｐ＝・ｐ１，ｐ・＝ｐ１・∪ ｐ２・－｛ｔ｝。若ｐ１中有托肯，则ｐ中也对应存在。规则３：同步器ｐｉ＝（｛ｔ｝，｛ｔｉ｝，（１，１）），ｉ＝１，２，…，ａ，则可以合并为同步器ｐ＝（｛ｔ｝，｛ｔ１，ｔ２，…，ｔａ｝，（１，ａ））。同步器ｐｉ＝（｛ｔｉ｝，｛ｔ｝，（１，１）），ｉ＝１，２，…，ａ，则可以合并为同步器ｐ＝（｛ｔ１，ｔ２，…，ｔａ｝，｛ｔ｝，（ａ，１））。了解这些规则后，我们对前面的工作流逻辑进行验证，根据前面的ＷＦ＿ＮＥＴ，其对应的ＷＦ＿ＬＯＧＩＣ如图６所示。在图７中，我们根据前面的化简规则进行化简：第一步，我们根据前面叙述的规则３对ｔ３，ｔ４，ｔ５，ｔ６，ｔ７进行化简，如图７第一步图５：完整工作流网模型三、工作流模型的正确性分析对于设计好的工作流模型的工作流逻辑，如何保证其正确性呢，在这里我们必须了解一个正确ＷＦ＿ＬＯＧＩＣ的性质：畅通性。一个正确的ＷＦ＿ＬＯＧＩＣ应该保证入口库所中的托肯经过传递、复制及合并能流动到一个终点库所，而且与冲突消解方案无关，这被称之为畅通性（ｔｒｏｕｇｈｎｅｓｓ）。因此，我们只需证明ＷＦ＿ＬＯＧＩＣ是畅通性。那么我们如何来证明其畅通性呢？对于一个树或者图我们有很多证明畅通的方法，在ＷＦ－ＬＯＧＩＣ中，我们可以利用ＷＦ＿ＬＯＧＩＣ的结构，在ＷＦ＿ＬＯＧＩＣ中找出局部畅通结构，通过不改变畅通性的方式将其化简，最后如果能逐步化简成为一个没有变迁的结构：一个库所，则图７：第一步化简图图６：发文工作流逻辑图所示；然后根据规则１，将工作流逻辑再进一步化简，可以得到图８。