带数据工作流的形式化建模语言——数据感知的工作流网  

Formal modeling language of workflow with data-data-aware workflow nets

作　　者：王朝霞[1,2,3,4,5] 王建民[1,2,3,4] 朱笑尘[1,2,3,4] 

机构地区：[1]清华大学软件学院,北京100084 [2]清华大学计算机科学与技术系,北京100084 [3]清华大学信息系统安全教育部重点实验室,北京100084 [4]清华信息科学与技术国家实验室(筹),北京100084 [5]后勤工程学院后勤信息工程系,重庆400014

出　　处：《计算机集成制造系统》2012年第8期1735-1746,共12页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(61003099;61073005);国家973计划资助项目(2009CB320700);国家"核高基"资助项目(2010ZX01042-002-002)~~

摘　　要：为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。To model and verify the workflow formally before implementing workflow, the research status of workflowwith data＇s formal modeling was summarized. After cleaning the interacting features between various data and con- trol flow, a formal modeling language of workflow with data-Data-aware WorkFlow nets （DWF-nets） was pro- posed, and the behavior semantics of DWF-nets were also given. According to the method of DWF-net model＇s ra- tionality analysis/consistency analysis, the strong formal capacity of data-aware workflow net was verified.

关 键 词：业务过程管理 带数据工作流 形式化建模语言 数据感知的工作流网 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]