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