摘要
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1735-1746,共12页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(61003099
61073005)
国家973计划资助项目(2009CB320700)
国家"核高基"资助项目(2010ZX01042-002-002)~~