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

基于条件约束的工作流语义验证方法及应用 袁钢1 孙瑞志1 向勇2 吴峥1 1中国农业大学，信息与电气工程学院 北京 100083 2清华大学，计算机科学与技术系 北京 100084 摘要：针对业务流程在动态执行时，由于业务环境、资源的复杂性和多变性给流程的正确执行带 来影响的问题，本文提出了一个用于描述基于业务目标实现的流程、资源，以及三者协作和约束关系 的四维元模型。并且基于XML进行流程知识表示的优势，通过在XMLSchema中对实现业务目标所依 赖的资源环境等进行条件约束的设计，采用条件匹配算法对实时生成的流程实例文件进行解析和检查， 减少了工作流引擎在执行时会发生错误的概率。 关键词：工作流;语义验证;条件约束;流程模式 触lS【位义队 ’eDefinition) 苦类型，并且 e语言，具有 由 于 XML寺 艮好的描述。 ：甲盯、侃程俣： 它生成的数掳 ；路由节点的2 alNodc)，根荔 rnn■’和Pnn ~.三iHU业j 乜提交至： 轰，从流葺 i目标活i 一层与工{ 殳计，首． 渝受阻，由于“经由： 习此由于应急点lf h(ProcessFile， Sch, I移除actl”Or“ k务目标买现的初 ilLSchema中对{ }流引擎解释执i 乏上减少了流程{ SemanticValidationofWorkflowBasedCondition-restrictedand itsApplications YuanGang1 SunRuizhi1 XiangYong2 WuZheng1 1.DepartmentofComputerScienceandTechnologyChinaAgriculturalUniversityBeijing 100083 2.DepartmentofComputerScienceandTechnologyTsinghuaUniversityBeijing100084 Abstract:Complexityandvariabilityofthebusinessenvironmentandresourcescanaffecttheproper executionoftheprocesswhichisindynamicexecution.Duetothisproblem,thispaperputforwarda four-dimensionalmetamodelwhichdescribetheprocessesandresourcesbasedontheachievementof businessgoals,andthecollaborationandconstraintrelationshipbetweenthesethree.Astheadvantagesof processknowledgerepresentationbasedonXML,itcanreducetheerrorinworkflowenginewhiledesigning constraintsofresourcesandenvironmentwhichthebusinessgoalsdependoninXMLSchema,andusing conditionalmatchingalgorithmtoparseandchecktheprocessinstancefilesinrealtime. Keywords:workflow;semanticverification;conditionalrestriction;workflowpattern