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

摘要：

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

关键词： 工作流 语义验证 条件约束 流程模式 条件匹配算法

作者: 袁钢 孙瑞志 向勇 吴峥

作者单位: 中国农业大学,信息与电气工程学院 北京100083 清华大学,计算机科学与技术系 北京100084

会议类型: 国内会议

会议名称: 第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

会议地点: 威海

会议语种:中文

页码: 71-77

在线出版日期: 2012-07-20（万方平台首次上网日期，不代表论文的发表时间）