基于时间约束Petri网的工作流动态一致性检验.PDFVIP

维普资讯 第 l6卷 第 9期 计 算 机 技 术 与发 展 VoI．16 No．9 2006年 9月 C0ⅣIPUTERTECHN0LOGY ANDDEVEL PMENT Sep． 2006 基于时间约束Petri网的工作流动态一致性检验 孙智坚，姜 浩 (东南大学计算机科学与工程系，江苏 南京 210096) 摘 要：工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系 统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检 验工作流一致性的方法，从而丰富了工作流的时间管理功能。 关键词：工作流；时间约束Petri网；动态修改；时间一致性 中图分类号：TP311．5 文献标识码 ：A 文章编号：1673—629X(2006)09—0050—03 VerificationofTemporalConsistencyinDynamicM odificationof W orkflOW BasedonTimeConstraintPetriNets SUNZhi—jian，JIANGHao (Dept．ofComputerScienceandTechnology，SoutheastUniversity，Nanjing210096，China) Abstract：Timemanagementisanimportantpartofworkflowmodelingandanalyzing．Supporting dynamicchanges，theabilityofdynamic adaptabilitytendstoberequiredwhenworkflow systemsareemployed．Basde ontimeconstraintPetrinetmodelofworkflow nadtemporal reasoning rules，averificationmethodoftemporalconsi~neeyoftheworkflow whentimeocnstraintsraemodifide dynma ically，whichhas animportna tvalueinenhancing timemanagementfunctionalityisproposed． Keywords：workflow；timeocnstraintPetrinet；dnyma icmodifying；temporalocnsistency O 引 言 一 致性进行再检验。 近年来，工作流管理 已经成为支撑企业业务过程建 模、重新设计、执行的重要技术。根据工作流管理联盟 1 工作流的时间约束 Petri网模型 (WFMC)的定义，工作流是业务过程的全部或部分 自动 Petri网是一种基于状态的建模方法，由于Petrl网能 化…。设计工作流管理系统的关键在于工作流建模。随 够很好地描述离散动态系统的静态和动态行为特性，同时 着对工作流研究的深入，人们提出了多种工作流建模的方 具有有效的数学分析技术，因而Petri网模型方法 已被广 法：有向图、对象模型、语言动作理论、基于约束条件的形 泛地用来描述工作流模型。将Petri网和工作流相结合， 式语言文法、Petri网等。 就提出了工作流网(wFN)2¨J。 实际业务过程大多具有时间限制，时间违反将造成业