基于数据流约束的可配置业务流程分析与验证

发布时间：2019-03-13 17:09

【摘要】：可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义。通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型。最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性。
[Abstract]:The configurable business process model implements process configuration by hiding blocking or allowing some fragments of the configurable business process model which may lead to incorrect configuration in the actual configuration process. In order to solve this problem, the colored Petri net is used as the formal model to express the business process model. At the same time, the data flow is added to the control flow of the process, and the data stream generated by the activity is integrated into the business process model based on the data stream. Thus, the business process model to be processed has the semantics of data flow. By adding configuration operations to the business process model, the data flow-based business process model is transformed into a data-based configurable business process model. Finally, ASK-CTL logic is used to express the data semantic constraints of configurable business process model based on data flow. Then the correctness of data semantic constraints of the model is analyzed and verified by the corresponding tools of colored Petri net. The effectiveness of the proposed method is demonstrated.
【作者单位】：铜仁学院大数据学院/铜仁市文化科技产业创新研究中心;贵州大学贵州省公共大数据重点实验室;武汉大学软件工程国家重点实验室;赣南师范学院数学与计算机学院;
【基金】：国家973计划资助项目(2014CB340404) 国家自然科学基金资助项目(61562073,61373037,61202031) 铜仁学院博士启动基金资助项目(trxyDH1602) 贵州省科学技术厅联合基金资助项目(黔科合[2015]7248号) 贵州省教育厅基金资助项目(黔教合人才团队字[2015]67号,黔教合KY字[2016]051号)~~
【分类号】：TP311.5

【相似文献】