188宝金博页面版

1000-9825／2004／15(10)1423◎ 2004 J oum al of sof tw a托软件学报v01．15，N o．10基于P／T系统化简方法的工作流过程模型验证事赵文1+，袁崇义1，刘刚2，张世琨1，王立福11( 北京大学信息科学与技术学院，北京100871)2( 解放军信息工程大学，河南郑州450052)W O rknO w PrO cess M O delSystemVbri ncati O n U si ng Reducti O n M ethO d Based0n P，TZH AOW enl +，YU ANChong．Yi l ，LI UG锄92，ZH AN GShi ．Kl H l l ，W AN GLi - Ful1(Insti tuteofInfo加ati on Sci em e锄dTechnol ogy，Peki ng Uni versi ty，Bei j i ng 10087l ，Chi na)2(Uni vcrs姆ofPLAInfo珊ati onEng妣e血g，Zhengzhou 450052，Chi na)+Co仃espondi ng au也or：Phn：+86· 10一62753026，E· m ai l ：ow en@ cs．pl (11．edu．cn，http：价州w ．cs．pku．edu．cnRecei Ved2004-O l -16；Acc印ted2004一03—29ZhaoW ，Yuan CY，Li u G ，Zhang SK，W angLF．W orknowprocess m odelm ethod based on P，Tsystem ．．，矗Ⅳ，’ 一口，D，．s枷4，岛2004，15(10)：1423～1430．h鲰；丛野巡jQ§ ：Q鸥：￡型!QQQ：里墨2主』15』!生23：鱼地Veri 矗caH onusi ngreduc廿onAbstract：N ow adays，w orknow techl l ol ogy has beeni ntensi vel y appl i edthe com pl ex岭粕d vafi abi l i t)rw el l -snl Icm ∞d busi nessprocessi si n the dom ai ns ofadm i ni s仃ati on，producti on，andsci enti fi cresearch．Forofpm cess109i c，howtobui l daapracti cal probl em ．Thus，processm odelanal ysi s锄d i m provem entbecom e o鹏of research di recti ons i n w orknowtecl l nol ogy-Fi rstl y，∞cordi ngto the m odi fi ed w orkf l owprocess m eta—m odel ，aP／Tsystembased w orkf l ow m odel procedu鹏netveri 匆栅os仃1l ctIl ral conni cts oftheserul es，a procedurenet ex卸叩l e仃ansfom l ed舫mabusi ness processi ssi m pl i fi ed，粕dtl l e resul t i s 0btai ned．K|ey w ords：m odel v耐fi cati on；reducti on m l es；proc耐1鹏nct；P厂r systemi sproposed．And then，a set of si m pl i ncati on九l l esaregi Ventotheprocess m odel ，i ．e．deadl ock锄d l ∽k of synchroni zati on．Fi nal l y' fol l ow i ng摘要：等原因，如何建立良构的业务过程是一个比较现实的问题．因此，对过程模型进行分析和优化成为工作流技术的研究方向之一．首先，根据改进的工作流过程元模型，研究并提出了一种基于P厂r系统的工作流过程模型过程网．基于过程网给出了一组化简规则，用于验证过程模型中的死锁和乏同步两种结构冲突．最后，结合一个业务过程目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用．由于过程逻辑的复杂性和变化性·supponed bythe N ati onaI H i gh- TechRese盯ch andD evel opm ent Pl an of chi nal l nder G rantNo．200l 从11317l 饵家高技术研究发展计划(863))；theN ati onal G m d Fundam ental Reseaf ch 973Programofchi na啪der G m t N o．2002cB312006圜家重点基础研究发展规划(973))；theN ati onal Research Fol l ndati on for n坞D octom lProgramof H i gher Educati on of chi na岫d盱Gm t N o．200200l O l 6( 国家188宝金博页面版部博士点基金)作者简介：赵文( 1967一) ，男，辽宁大连人，博士生，主要研究领域为软件工程，工作流及相关技术；袁崇义( 194l 一) ’ 男，教授，博士生导师，主要研究领域为并行计算与Petri 网，Pem 网理论及应用；刘刚( 1962一) ，男，博士，主要研究领域为信息安全，数据挖掘；张世琨( 1969一) ，男，博士，教授，主要研究领域为软件工程，软件体系结构；王立福( 1945一) ，男，博士，教授，博士生导师，主要研究领域为软件工程．万方数据