基于数据流约束的可配置业务流程分析与验证
可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置.针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义.通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型.最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性.
可配置业务流程、流程配置、着色Petri网、数据流
23
TP311.5(计算技术、计算机技术)
国家973计划资助项目2014CB340404;国家自然科学基金资助项目61562073,61373037,61202031;铜仁学院博士启动基金资助项目trxyDH1602;贵州省科学技术厅联合基金资助项目黔科合[2015]7248号;贵州省教育厅基金资助项目黔教合人才团队字[2015]67号,黔教合KY字[2016]051号.Project supported by the National Basic Research Program,China2014CB340404;the National Natural Science Foundation,China61562073,61373037,61202031;the PhD Research Foundation of Tongren University,ChinatrxyDH1602;the Joint Foundation of Guizhou Provincial Science & Technology Department,China[2015]7248;the Guizhou Provincial Education Department Foundation,China[2015]67,KY[2016]051
2017-10-20（万方平台首次上网日期，不代表论文的发表时间）
共12页
1797-1808
