一种基于TWFnet的工作流模型.pdfVIP

周颖等：一种基于TWF-net的工作流模型 一种基于TWF．net的工作流模型 周 颖①崔立真王海洋 (山东大学计算机科学与技术学院 济南250061) 摘要 时间工作流网模型(嗣汀．net)通过时间安全性可解决同一流程中多个活动竞争 有限资源的问题，但不能解决并发流程间的资源冲突问题。本文在T卿．net模型的基础 上提出了一种称为共享资源工作流网模型(髑R)，通过在模型中引入资源，优先级的概 念，解决了并发流程竞争资源的问题，最后给出一个利用TSR模型描述分布式企业中业 务流程的实例。 关键词 工作流模型，时间，Petri网，资源冲突 及了变迁最早、最晚静态触发时间，没有描述完成变 0 引言 迁触发所需要持续的时间。为此本文在TwT．net模 型的基础上，提出了一种称为共享资源工作流网 近年来工作流管理技术发展迅速，已被广泛地 withShared (TWr．nets 应用于办公自动化、业务流程重组(BPR)及其他需 发流程竞争资源的问题。 要规划和管理的工作流领域。按照工作流管理联盟 (硎c)的定义，工作流是业务流程的全部或部分 1 共享资源工作流网模型 自动化，在此过程中，文档、信息或者任务按照一定 的过程规则流转，实现组织成员间的协调工作以期 1．1 TSR模型的定义 达到业务的整体目标…。 定义l 共享资源工作流网(TSR)是由k个 工作流管理系统的关键是工作流建模，它是对 硼玑ne￡(Ⅳf，晚)通过共享资源复合而成的网系统 业务过程逻辑及其活动间的依赖关系的抽象表示。 目前主要使用的建模工具有活动网络和Pbtri网。满足： U U…U Petri网是一类描述具有分布、并发、异步特征系统的 (1)P=PlP2 R U{P。，P。}，只n只= 有效工具，具有精确的形式语义和严格的数学基础。 但基本Petri网对于描述实际业务流程来说其能力所和终止库所，且P。，P。色最(iE[1，k])。 U 还不够，为此人们提出了很多高级Pbm网模型来描 (2)T=TlT2U…U死U{t，，t。}，乃N乃= 述复杂的业务流程。时间工作流网模型(哪mnet) 是See U Ling等人提出的一种高级Petri网模型，它是(3)F=F1F2 在工作流网模型(WF-net)的基础上，为每个活动分 的起始库所，i=l，2，…，k}U{(0i，t。}10i为Ⅳi的 配一时间段，使得工作流模型有了时间语义，能有效 终止库所，i=l，2，…，k}U{(P，，t。)，(t。，P。)}。 r= 地描述工作流中的时间约束㈦3。 (4)JR为共享资源集合，RnP=①^引1 随着网络、通讯技术的迅速发展，企业的业务过 ①。 程日趋呈现出分布的特性。在这种企业中，