文献类型：期刊文章

作　　者：李海波[1,2] 战德臣[1] 徐晓飞[1]

机构地区：[1]哈尔滨工业大学计算机科学与技术学院企业与服务智能计算研究中心,哈尔滨150001 [2]华侨大学计算机科学与技术学院,福建厦门361021

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目(60773064);国家"八六三"高技术研究发展计划基金项目(2006AA01Z167;2006AA04Z165;2006AA04Z150)~~

年　　份：2009

卷　　号：46

期　　号：7

起止页码：1143-1151

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：工作流模型的验证技术主要包括语法验证、结构验证和语义验证,其中语义验证是层次最高、最为严格的验证,验证的范围十分广泛,也是难点所在,目前尚缺乏有效的方法.而且,语义的正确性会影响工作流模型的控制逻辑,也是结构合理性的影响因素之一.从工作流模型表达的语义出发,通过分析工作流模型刻画的业务规则以及相应的约束集部分,基于对约束集语义的形式化,问题转换为对约束集语义的完整性验证.如果工作流模型中的条件节点所描述的约束集语义有遗漏、冗余或者无意义,也决定了模型错误的拓扑结构.提出全域覆盖性判定定理及基于判定树的验证算法,通过验证工作流业务规则语义的完整性,对工作流模型结构的合理性也给予了保证.这种验证方法具有很强的通用性,不依赖于具体的建模方法,适用范围广泛.

关 键 词：工作流 业务规则  语义完整性 验证  全域覆盖性  

分 类 号：TP311]