关键词: 数据感知过程, 引发约束变化的最小修改序列, 程序约束图, 约束矩阵

Abstract: Owing to the importance of minimum sequence of high-level change operations changing constraints between data-aware processes in the aspects of data-aware process retrieval,merge and version control,an identification method was proposed.In this method,the activity constraint graph of data-aware process was defined.Then the constraint matrixes of a pair of data-aware processes were constructed based on activity dependence graphs.The constraint matrixes and the concept of digital logical were used to identify a minimum sequence of high-level change operations changing constraints between data-aware processes.Extensive experiments on real and synthetic datasets were conducted to evaluate the accuracy and eficiency of proposed approach and previous approaches.Experimental results demonstrated that the proposed approach could achieve a higher average accuracy (89.89%) than that of previous approaches.

Key words: data-aware process, minimum sequence of high-level change operations changing constraints, activity constraint graph, constraint matrix