工作流模型的语义及验证.pdfVIP

第36卷第4A期 计算机科学V01．36No．4A 2009年4月 Science ． Computer Apr．2009 工作流模型的语义及验证 肖 晶陈曙 (武汉大学计算机学院 武汉430079) 摘要提出了一种将以活动网络图描述的工作流模型转换为CCS的思想，利用CCS描述了工作流模型的6种基本 逻辑关系，进而将整个工作流模型转化为动程表达式，从而为工作流模型提供了严格的形式化基础。并在此基础上给 出了工作流模型正确性的3个约束条件，讨论了带循环的工作流模型的正确性验证，并提出了验证工作流模型结构正 确性的方法的步骤。 关键词 工作流模型，CCS，活动网络图，结构正确性 Semanti娼柚dValidati仰ofWork订ow Modds XIAO CHENShu Jing SchoolofWuhafI (computer University，Wuhn430079，China) Abst僦tWeillustratedhowtotransfo珊workflowmodelsdesc曲ediIl netwDrk activity chartsiI仰CcWeused C(葛to thesix relationsinwofI【flow t11en desc抽e basic model，andtran5fonnthe朗tireworkflowmodeltoC(焉 109ical e勉ctfonIlal泳溉basisforthewor姐gwmodd，and three∞璐t商吼t processeXpressi0璐．Weprovided也e proposed corlditionsf6rthestructurdcon七ctnesThenwediscussednlevalidationforthe worknowrr的delwitllrecursior坞，and amethodand for thes乜1lcturalcorrectnessof proposed stepsvalidatmg workflowⅡ砌el Worknow network charts，structuralcorrecmeSs Keywords model，C(二s，Activity 出了正确性验证的方法和步骤· 1 引言 2活动网络图 随着信息化时代的到来，越来越多的企业依赖于信息技 术提高其竞争力，工作流技术对业务系统的信息化起着相当 本文采用活动网络图的方式来描述工作流模型c8]．活动 关键的作用。目前，在这一领域，大量相关的研究工作得以开 网络图的优点是直观方便，简单实用，一般用户易于掌握，而 展，并取得了丰富的理论和实践成果。wFMC规定了工作流且它的逻辑构件对现实中的业务过程具有足够的描述能力。 模型的6个