登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
工作流业务规则语义的完整性验证技术
  • 摘要

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

  • 作者

    李海波  战德臣  徐晓飞  Li Haibo  Zhan Dechen  Xu Xiaofei 

  • 作者单位

    哈尔滨T业大学计算机科学与技术学院企业与服务智能计算研究中心,哈尔滨,150001;华侨大学计算机科学与技术学院,福建厦门,361021/哈尔滨T业大学计算机科学与技术学院企业与服务智能计算研究中心,哈尔滨,150001

  • 刊期

    2009年7期 ISTIC EI PKU

  • 关键词

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

相似文献 查看更多>>
3.235.75.196