基于条件约束的工作流语义验证方法及应用

摘要

针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性给流程的正确执行带来影响的问题,本文提出了一个用于描述基于业务目标实现的流程、资源,以及三者协作和约束关系的四维元模型.并且基于XML进行流程知识表示的优势,通过在XML Schema中对实现业务目标所依赖的资源环境等进行条件约束的设计,采用条件匹配算法对实时生成的流程实例文件进行解析和检查,减少了工作流引擎在执行时会发生错误的概率。