The trace consistency measurement between WFD-net systems

Introduction How 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. Methods We explore all traces in two WFD-net systems based on guard analysis and data dependencies. Results We point out that the trace consistency degree is uncertain when the values of guard functions are considered. Discussion We conduct experiments to evaluate our method and show its effectiveness.

Abstract licence: CC BY

42 more references, whose wording the paper’s licence keeps private.

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.