工作流网WRI+WF-net的验证方法研究及实现

《工作流网WRI+WF-net的验证方法研究及实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据第42卷第5期2006年9月南京大学学报(自然科学)JOURNAL0FNANJINGUNIVERSITY(NATURALSCIENCES)V01．42，No．5Sept．，2006工作流网WRIWF—net的验证方法研究及实现朱伟杰“，葛季栋，鲁平，胡吴，吕建(南京大学计算机软件新技术国家重点实验室，计算机软件研究所，南京，210093)摘要：wFnet是一种工作流模型，合理性是衡量WF_net模型正确性的一个标准，不合理的工作流模型会导致运行错误．但是合理性验证问题是NP-complete问题，妨碍了w

2、F_net的广泛应用．工作流模型WRlw卜net是WF-net的子集，能够直接保证工作流模型的合理性，这样只需确保用户建立的工作流模型符合wRlwF-net的约束，而不需要进行合理性验证．提出一个WRlwF_net的验证方法，能够在结构上验证模型是否满足WRlwF_net的约束，并且阐述了方法的实现．关键词：wF_net，WRlwF_net，工作流模型，合理性中图分类号：TP311WillWF-net：VerificationandImplementationZhu’伲i—Jie，GeJi—Dong，L甜Ping

3、，H“Hao，L我Jian(StateKeyLaboratoryforNovelSoftwareTechnology，InstituteofComputerSoftware，NanjingUniversity，Nanjing，210093，China)Abstract：WF_-netisaworkflowmodelbasedonPetrinet．SoundnesspropertyisacorrectnesscriteriaindetermininggoodWF_netmodelsandanunsound盯netm

4、odelwillleadtoruntimeerrors．ButthesoundnessverificationisanNP-completeproblem，anditwidelyobstructstheapplicationofWF_net．WRIWF、-net(asubclassofWF_’net)，aworkflowmodelwithinherentsoundnessproperty，isexploredinthispaper．WhenweapplyWRIWF!netinworkflowmodeling，it

5、isnotnecessarytoverifysoundnessproperty，butwemustensurethemodelbuiltbytheuserisaWRIWF-net．ThestructureofWRIWBnetishierarchical．EachlayerisaWAWF-netoranextendedWAWF_net．Inthispaper，wepresentfltop-downandlayer-by-layermethodtoverifyWRIWF二net．Inthismethod．verify

6、ingwhethereachlayerofthemodelisaWAW卜netoranextendedWAWF-netisthekeypoint．WAWF-nethastwostructurecharacters，nocircuitsandwellhandled．AnefficientalgorithmthatcanverifywhetheranormalWF-netwithnocircuitsiswell-handledornotisputforward，andbasedonthealgorithm。atOOl

7、thatisusedtomodelandverifyisimplementedaccordingtothetop-downandlayer-by-layermethod．Keywolds：WF-net，WRIWF-net，workflowmodel，soundness*基金项目：国家863计划(2004AAll2090，2005AAll3160，2005AAll3030)，国家973计划(2002CB312002)，国家自然科学基金(60233010)收稿日期：2005--11--20**通讯联系人，E-mail

8、：z、jl，j@ics．njueducn万方数据·520·南京大学学报(自然科学)第42卷工作流的概念起源于生产组织和办公自动化领域，它是对日常工作中具有固定程序的活动而提出的一个概念．随着计算机网络技术和分布式数据库技术的迅速发展，工作流技术的应用范围日益广阔．近年来，对工作流模型描述和分析方法的研究得到普遍重视，用于描述工作流的过程模型和分析方法也越来越多，这其中最受