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

来源：计算机集成制造系统杂志2017年第8期北京时间：

作者：黄贻望,徐松金,冯在文,黄颖,何克清,彭长根

单位：1.铜仁学院大数据学院/铜仁市文化科技产业创新研究中心2.武汉大学软件工程国家重点实验室3.赣南师范学院数学与计算机学院4.贵州大学贵州省公共大数据重点实验室

摘要：可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义。通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型。最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性。

关键词：可配置业务流程,流程配置,着色Petri网,数据流

基金资助：国家973计划资助项目(2014CB340404);国家自然科学基金资助项目(61562073,61373037,61202031);铜仁学院博士启动基金资助项目(trxyDH1602);贵州省科学技术厅联合基金资助项目(黔科合［2015］7248号);贵州省教育厅基金资助项目(黔教合人才团队字［2015］67号,黔教合KY字［2016］051号)。