Abstract
How to obtain the behavioral consistency degree of different process models in workflow systems is a key point in process matching, process fusion, and difference detection. Workflow net with data (WFD-net) and its extension (EWFD-net) are effective languages to describe and analyze the process model. In practice, checking the consistency of two EWFD-nets is a challenging task since many existing methods for measuring consistency have failed to take data-flows into account, especially when the corresponding relation of data-flows is complex. Thus, these methods cannot accurately manifest the real consistency degree of two EWFD-nets. To solve this problem, we define a more accurate relation of transition pairs in two EWFD-nets based on data dependencies and guard functions. We discover that the consistency degree of two EWFD-nets is uncertain when we consider the values of guard functions. Based on them, new behavioral relation matrices are constructed to quantify the real behavioral consistency degree of two EWFD-nets. Finally, we do a series of experiments to assess our method and demonstrate its efficacy.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.