基于数据依赖的业务流程分析与验证方法  

Analysis and Verification of Business Process Based on Data Dependence

作　　者：黄贻望[1,2] 徐松金[1] HUANG Yiwang;XU Songjin(School of Big Data, Tongren University, Tongren, Guizhou 554300, China;Research Center of Tongren Cultural Science and Technology Industry Innovation, Tongren, Guizhou 554300, China)

机构地区：[1]铜仁学院大数据学院,贵州铜仁554300 [2]铜仁市文化科技产业创新研究中心,贵州铜仁554300

出　　处：《铜仁学院学报》2017年第9期6-10,14,共6页Journal of Tongren University

基　　金：国家自然科学基金(61562073;61373037);贵州省科技厅联合基金项目(黔科合LH字[2014]7487;[2014]7490;[2015]7248号);贵州省教育厅项目(黔教合人才团队字[2015]67号;黔科合平台人才[2016]5611;黔教合KY字[2016]051;黔教合KY字[2015]456号);铜仁学院博士启动基金(trxyDH1602)

摘　　要：在大数据环境下,业务流程的执行不断产生和消耗大量的数据,从而业务流程活动中数据的依赖将是设计和分析业务流程中的一个重要问题。为克服这个问题,提出了基于活动关联的数据流约束业务流程分析与验证模型,这种融合数据流的业务流程设计分析与验证将有助于提升业务流程管理与执行时的可靠性,归纳提取出业务流程中几种典型的数据流约束错误模式并使用扩展分枝树逻辑(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.

关 键 词：数据流 活动 业务流程 扩展分枝树逻辑 

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