A Measure Consistency Method for Overlapping Correspondence of Workflow Nets Based on Relation Profiles Partner Matrix

Abstract

The consistency of the workflow network model is related to the matching semantics of the elements in the model, but in real life, multiple models with one or more activities have the same effect everywhere, so how to calculate consistency of two models under such overlapping correspondence has become a problem. For this condition, we should analyze overlapping correspondence due to the influence of overlapping correspondences. In this paper we obtain the relations of transitions based on relation profiles we proposed before, and build a behavioral matrix of relations. Based on the partner matrix of behavioral matrix, we express different overlapping correspondences, and define a new formula to compute the consistency degree of two Workflow nets based on overlapping correspondence. Additionally, this paper utilizes some examples and proofs to show these definitions, computation as well as the advantages.

Keywords

• Consistency computation
• overlapping correspondence
• relation profile
• partner matrix
• Petri nets