CORBA工作流时间Petri网建模与分析.pdfVIP

第26卷第1期 深圳大学学报理上版 V01．26No．1 2009乍1月 JOURN、I．OFSHENZHENUNIX7ERS!TYSCIENCE、、DENGTNf=FRING Jan．2009 文章编号：1000-2618(2009)01—0042—05 【电子与信息工程】 CORBA工作流时间Petri网建模与分析 郑 红1，明 仲1’2 (1．华东理工大学信息科学与T程学院，卜．海200237；2．深圳大学计算机与软件学院，深圳518060) 时间约束的子工作流协作组成的工作流的时间工作流网模型，并基于该模型分析时间工作流网模型的有效 性，验证了模型与系统需求规范的一致性． 关键词：CORBA系统；工作流；时间Petri网 311．1 中图分类号：TP311．5；TP 文献标识码：A 定义并研究TwN的有效性，分析CORBA系统工作 CORBA应用系统的工作流设计和执行通常涉 及一组互相协作的CORBA对象．一个工作流事务流的基本性质． 的参与者执行大任务时需分为多个子任务来完成， 子任务需分工合作．因为它们叮能处于不同位置或 1 时间Petri网 不同环境，但只有完成每个子任务，才能保证整个 Petri 任务的执行．因此，任务参与者不仅要关心该任务 时间Petfi网(timenet，TPN)可用来分 的前提和上一级任务的执行结果，且要考虑该任务 析分布式系统的实时性质，且已被J“泛应用‘瑚1．在 的实施时间和实施结果．因为该结果将是下一个任 TPN定义中，事件持续时间有两种表示：一是将各 务的前提．此外，系统的整个工作流程受时问约 事件的持续时间标在库所的旁边，表示库所中的资 束，因此每个工作流程都有一个最迟完成时问． 源经过一定时间后才能被使用；另一种足将时间标 建立CORBA工作流事务模型时，需满足两个注在变迁的旁边，表示当该变迁具有发生条件时耍 要求。¨：一是模型要足够丰富，可表达所需的所有 延迟一段u,-j-f,]后才能发牛，或该变迁发生后，立即 工作流实体及相互关系；二足模型能在分布对象环 从相应的输入库所中移走相应的资源，但要延迟一 境中有效操作．模型中的过程和活动是工作流模型 段时间后才在相应的输出库所中产生对应的托肯． 的主要组成部分，而相关数据和组织成员则可被理 本文采用后一种事件持续时间的表示方法，即在变 迁七加时间约束的方法．设置一个全局时间．TPN 解为过程及活动的一些属性．在CORBA分析i对象 环境下，工作流被组织成一组事务，事务通过其内 状态不仅包含网的标识，且包含伞局U寸IHJ值．一个 部的依赖属性定义确定自己的前提条件或者后继条 变迁能被rjl发仪当系统满足一个特定的时间(区 件，这种逻辑关系是建市在活动的内部．参与工作 间)． 流的主体是一组CORBA对象，它们根据自己的输 入和输出来确定过程中事务的执行顺序． 本文基于时间Petri网和工作流分析技术，引 m0，且T=TI 入时间工作流网概念，对具有实时要求的CORBA U疋，TIn疋=D，其中r．为带 workflow 工作流事务，应用时间工作流网(time 时间约束变迁的有限集，瓦为瞬时变迁的有限集； X X