CBR一种支持工作流过程语义验证的组件级化简方法.pdf

第6期 电 子 学 报 V01．33No．6 2005 2005年6月 ACIAELECll砌DNICAsINICA Jun CBR：一种支持工作流过程语义验证的组件级 化简方法 周建涛1，一，史美林1，叶新铭2 (1．清华大学计算机科学与技术系，北京1(1(1084；2．内蒙古大学计算机学院，内蒙古呼和浩特010021) 摘要： 目前的工作流过程验证方法多数侧重控制流特性验证，与数据或资源信息相结合的验证尚未得到很好 发展．然而，业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作．保证过程的目标实现需要验证这 三维观点协作的正确性，称为语义验证．该文侧重讨论大型、灵活的过程语义验证问题．首先，形式化定义过程模型，综 合体现三维基本观点，表达完整的过程语义，并使用基于组件的思想，具有一定可扩展性和灵活性．然后，通过探讨组 Based Reduction，CBR)和化简规则，为过程语义验证提供有力支 件间的协作逻辑，提出基于组件的化简方法(Component 持． 关键词： 工作流；验证；化简；组件；Petri网 中图分类号：TP311；TP391文献标识码： A CBR：A ReductionMethodforSemanticsVerification Component-Based ofWorkflowProcesses ZHOU Ji锄．ta01,2,SHIMei．1inl，YE Xin．nfi醑 (1．砘呻伽删of凸嗍Science，Tsinghua‰蚵，啪100084，China； Abstract：Verificationmethodsofwork{]ow focusonthecontrol afew have flow，while proeessesalways only developments beendoneontheverification controlflowwithdataandresotLrceinformation．However combining achievements硝business和日lsrely dimensions and istoensureco- on ofthreebasic control flow IIe80tLrce．Semanticsverification cooperation ofworkflow，calledflow，data cortectn嘲ofthethreedimensions．Thisendeavorssemanticsverification andflexible operation paper of峥scale wo