面向数据的工作流的验证方法  

Data oriented workflow validation method

作　　者：朱永华[1] 赵琳[1] 高洪皓[1] 沈熠[1] 

机构地区：[1]上海大学计算机科学与信息工程学院,上海200444

出　　处：《计算机工程与设计》2015年第8期2282-2286,共5页Computer Engineering and Design

基　　金：上海市科委基金项目(14590500500)

摘　　要：为对工作流进行验证,从工作流的数据、控制两方面出发,提出在约束条件下有效验证数据流的方法。基于XPDL(XML process definition language)框架,在TWE(together workflow editor)工具上对待诊断的工作流进行建模,根据需要提出两种变量赋值方法;采用Shark工具检验在约束条件下工作流中的数据能否在活动间流动。实验结果表明,该方法具有可用性和可行性。To verify the workflow, an effective approach under constraint conditions was proposed considering aspects of data and control. Based on the XPDL （XML process definition language） framework, the supporting tool TWE （together workflow ser- ver） was used to model the workflow for diagnosis purpose, and two variable assignment methods were given. Shark tool was employed to verify whether data flow among activities under constraint conditions. Experimental results demonstrate the usability and feasibility of the presented method.

关 键 词：工作流建模 约束 诊断 TWE SHARK 

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