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

Semantic Validation of Workflow Based Condition-restricted and its Applications

作　　者：袁钢[1] 孙瑞志[1] 向勇[2] 吴峥[1] 

机构地区：[1]中国农业大学信息与电气工程学院,北京100083 [2]清华大学计算机科学与技术系,北京100084

出　　处：《小型微型计算机系统》2013年第9期2051-2055,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60736020)资助;中央高校基本科研业务费专项资金项目(2012QJ090)资助

摘　　要：针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作和约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率.Complexity and variability of the business environment and resources can affect the proper execution of the process when executed dynamically. Due to this problem, this paper put forward a four-dimensional meta model which describe the processes and resources based on the achievement of business goals, and the collaboration and constraint relationship between these three. This paper also describe the business processes based on workflow pattern. As the advantages of process knowledge representation based on XML, it can reduce the error probability when workflow engine isrunning by designing constraints of resources and environment which the business goals depend on in workflow pattern＇s XML Schema, and using conditional matching algorithm based on the logi- cal conditional restrictions of goals, processes and resources to parse and check the process files which are dynamically planned in real time.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]