欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了在工作流实施之前对工作流进行形式化建模与验证，首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后，提出一种带数据工作流的形式化建模语言——数据感知的工作流网，并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现，证明了数据感知的工作流网具有较强的形式化建模能力。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：