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

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

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

Verification of configurable business processes based on data-flow constraints

计算机集成制造系统 . 2017, (第8期): 1797 -1808 . DOI: 10.13196/j.cims.2017.08.020