欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在大数据环境下，业务流程的执行不断产生和消耗大量的数据，从而业务流程活动中数据的依赖将是设计和分析业务流程中的一个重要问题。为克服这个问题，提出了基于活动关联的数据流约束业务流程分析与验证模型，这种融合数据流的业务流程设计分析与验证将有助于提升业务流程管理与执行时的可靠性，归纳提取出业务流程中几种典型的数据流约束错误模式并使用扩展分枝树逻辑（ASK-CTL）给出相应的分析与验证仿真实验，表明方法具有一定的有效性。
英文摘要：
Under the big data environment,the execution of the business process generates and consumes a large amount of data,so it has been the important issue that the data in the business process activities in the design and analysis of the business process.To overcome this problem,the business process model and its corresponding activities data stream is presented in this paper,the design of business process analysis of the fusion data flow will help to improve the correctness of business process management,and this paper extract the typical error data-flow constraint mode using the extended branching tree logic(ASK-CTL)give the relevant verification methods.
同期刊论文项目
同项目期刊论文
期刊信息
位置：