IntroductionHow to measure the trace consistency between process models in workflow net systems have become a crucial part of process mapping, process integration, and difference testing. Workflow net with data (WFD-net) is an effective language to describe a complete model of a workflow net system. Checking their trace consistency is a significant challenge in service-based software engineering. However, most of the existing research on trace consistency measurement has not taken the data into consideration. Therefore, they cannot accurately calculate the trace consistency degree of two WFD-net systems, especially when data operations and guard functions are complex.MethodsWe explore all traces in two WFD-net systems based on guard analysis and data dependencies.ResultsWe point out that the trace consistency degree is uncertain when the values of guard functions are considered.DiscussionWe conduct experiments to evaluate our method and show its effectiveness.