{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:50:24Z","timestamp":1753890624840,"version":"3.41.2"},"reference-count":42,"publisher":"Frontiers Media SA","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["frontiersin.org"],"crossmark-restriction":true},"short-container-title":["Front. Comput. Sci."],"abstract":"<jats:sec><jats:title>Introduction<\/jats:title><jats:p>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.<\/jats:p><\/jats:sec><jats:sec><jats:title>Methods<\/jats:title><jats:p>We explore all traces in two WFD-net systems based on guard analysis and data dependencies.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>We point out that the trace consistency degree is uncertain when the values of guard functions are considered.<\/jats:p><\/jats:sec><jats:sec><jats:title>Discussion<\/jats:title><jats:p>We conduct experiments to evaluate our method and show its effectiveness.<\/jats:p><\/jats:sec>","DOI":"10.3389\/fcomp.2023.1136057","type":"journal-article","created":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T04:39:24Z","timestamp":1678682364000},"update-policy":"https:\/\/doi.org\/10.3389\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The trace consistency measurement between WFD-net systems"],"prefix":"10.3389","volume":"5","author":[{"given":"Fang","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Xiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1965","published-online":{"date-parts":[[2023,3,13]]},"reference":[{"key":"B1","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1109\/TSC.2015.2477815","article-title":"An automated approach for assisting the design of configurable process models","volume":"8","author":"Assy","year":"2015","journal-title":"IEEE Trans. Serv. Comput"},{"key":"B2","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-39429-9_12","article-title":"A systematic liturature review of consistency among business process models","volume":"248","author":"Awadid","year":"2016","journal-title":"BPMDS\/EMMSAD 2016 LNBIP"},{"key":"B3","first-page":"81","article-title":"Behavioral consistency for B2B process integration","volume-title":"19th International Conference on Advanced Information System Engineering, CAiSE 2007","author":"Decker","year":"2007"},{"key":"B4","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.is.2010.09.006","article-title":"Similarity of business process models: metrics and evaluation","volume":"36","author":"Dijkman","year":"2011","journal-title":"Inf. Syst"},{"volume-title":"Translating UML2 Activity Diagrams to Petri Nets","year":"2008","author":"Fahland","key":"B5"},{"key":"B6","first-page":"112","article-title":"IEEE standard glossary of software engineering terminology","volume":"42","year":"1990","journal-title":"Inst. Electrical Electron. Eng"},{"key":"B7","first-page":"5218","article-title":"Merging several business process variants","volume-title":"The 26th Chinese Control and Decision Conference","author":"Li","year":"2014"},{"key":"B8","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TSMCA.2009.2013446","article-title":"An iterative synthesis approach to petri net based on deadlock prevention policy for flexible manufacturing systems","volume":"39","author":"Li","year":"2009","journal-title":"IEEE Trans. Syst. Man. Cybern. Syst"},{"key":"B9","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/TSC.2013.36","article-title":"Some complexity results for the soundness problem of workflow nets","volume":"7","author":"Liu","year":"2014","journal-title":"IEEE Trans. Serv. Comput."},{"key":"B10","doi-asserted-by":"crossref","DOI":"10.1007\/978-981-19-6309-4","volume-title":"Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems","author":"Liu","year":"2022"},{"key":"B11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/3185502","article-title":"Time-soundness of time Petri nets modeling time-critical systems","volume":"2","author":"Liu","year":"2018","journal-title":"ACM Transac. Cyber Phys. Syst"},{"key":"B12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/TSMCA.2012.2204741","article-title":"Interactive Petri nets","volume":"43","author":"Liu","year":"2013","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"B13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2810001","article-title":"Petri net modelling and collaborativeness for parallel processes with resource sharing and message passing","volume":"16","author":"Liu","year":"2017","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"B14","doi-asserted-by":"publisher","first-page":"1371","DOI":"10.1109\/TSMC.2018.2815618","article-title":"Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs","volume":"7","author":"Liu","year":"2019","journal-title":"IEEE Trans. Syst. Man. Cybern. Syst"},{"key":"B15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1805286.1805290","article-title":"On detecting data flow errors in workflows","volume":"2","author":"Meda","year":"2010","journal-title":"ACM J. Data Inf. Qual."},{"key":"B16","first-page":"17","article-title":"Ensuring consistency among business goals and business process models","volume-title":"IEEE Enterp. Distrib. Object Comput","author":"Nagel","year":"2013"},{"key":"B17","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","article-title":"Conformance checking of processes based on monitoring real behavior","volume":"33","author":"Rozinat","year":"2008","journal-title":"Inf. Syst"},{"key":"B18","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1016\/j.datak.2008.04.009","article-title":"Validation of mappings between schemas","volume":"66","author":"Rull","year":"2008","journal-title":"Data Knowl. Eng"},{"key":"B19","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","article-title":"Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible","volume":"36","author":"Sidorova","year":"2011","journal-title":"Inf. Syst"},{"key":"B20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSC.2016.2536025","article-title":"Static and dynamic process change","volume":"11","author":"Song","year":"2015","journal-title":"IEEE Trans. Serv. Comput"},{"key":"B21","doi-asserted-by":"publisher","first-page":"1224","DOI":"10.1109\/TSC.2018.2867593","article-title":"Workflow refactoring for maximizing concurrency and block-structuredness","volume":"14","author":"Song","year":"2018","journal-title":"IEEE Trans. Serv. Comput"},{"key":"B22","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/TSC.2015.2426181","article-title":"Process discovery from dependence-complete event logs","volume":"9","author":"Song","year":"2016","journal-title":"IEEE Trans. Serv. Comput"},{"key":"B23","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1109\/TSC.2018.2821685","article-title":"Dependence-based data-aware process conformance checking","volume":"14","author":"Song","year":"2021","journal-title":"IEEE Trans. Serv. Comput"},{"key":"B24","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/SCC.2013.47","article-title":"Quantifying consistency between conceptual and executable business processes","volume-title":"2013 IEEE International Conference on Services Computing","author":"Song","year":"2013"},{"key":"B25","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","author":"Trcka","year":"2009","journal-title":"Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows"},{"key":"B26","first-page":"90","volume-title":"Detecting Inconsistencies Between Process Models and Textual Descriptions","author":"van der Aa","year":"2015"},{"key":"B27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSC.2012.25","article-title":"Service mining: using process mining to discover, check, and improve service behavior","volume":"6","author":"van der Aalst","year":"2011","journal-title":"IEEE Trans. Services Comput"},{"key":"B28","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-009-0112-0","article-title":"Preserving correctness during business process model configuration","volume":"22","author":"van der Aalst","year":"2010","journal-title":"Formal Aspects Comput"},{"key":"B29","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","article-title":"Business process mining: an industrial application","volume":"32","author":"van der Aalst","year":"2007","journal-title":"Inf. Syst"},{"key":"B30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSMC.2018.2852652","article-title":"Measurement and computation of profile similarity of workflow nets based on behavioral relation matrix","volume":"50","author":"Wang","year":"2018","journal-title":"IEEE Trans. Sys., Man Cybern. Syst"},{"key":"B31","doi-asserted-by":"publisher","first-page":"1398","DOI":"10.1093\/comjnl\/bxs014","article-title":"Behavior equivalence and compatibility of business process models with complex correspondences","volume":"55","author":"Weidlich","year":"2012","journal-title":"Comput. J"},{"key":"B32","first-page":"376","article-title":"Efficient analysis of BPEL 2.0 processes using p-calculus","volume-title":"Proceedings of IEEE 30","author":"Weidlich","year":"2014"},{"key":"B33","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.is.2010.12.004","article-title":"Perceived consistency between process models","volume":"37","author":"Weidlich","year":"2010","journal-title":"Inf. Syst"},{"key":"B34","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/TSE.2010.96","article-title":"Efficient consistency measurement based on behavioral profiles of process models","volume":"37","author":"Weidlich","year":"2011","journal-title":"IEEE Trans. Softw. Eng"},{"key":"B35","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-31131-4_9","article-title":"On profiles and footprints relational semantics for Petri nets","volume":"7347","author":"Weidlich","year":"2012","journal-title":"Applic. Theor. Petri Nets"},{"key":"B36","doi-asserted-by":"publisher","first-page":"1650","DOI":"10.1109\/TSC.2019.2899086","article-title":"A guard-driven analysis approach of workflow net with data","volume":"14","author":"Xiang","year":"2021","journal-title":"IEEE Trans. Services Comput"},{"key":"B37","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1109\/TNSM.2018.2883362","article-title":"Measuring business process consistency across different abstraction levels","volume":"16","author":"Zhang","year":"2019","journal-title":"IEEE Trans. Netw. Serv. Manag"},{"key":"B38","doi-asserted-by":"publisher","first-page":"21005","DOI":"10.1109\/ACCESS.2018.2795701","article-title":"Measuring data-aware process consistency based on activity constraint graphs","volume":"6","author":"Zhang","year":"2018","journal-title":"IEEE Access"},{"key":"B39","doi-asserted-by":"publisher","first-page":"3113","DOI":"10.1109\/TSMC.2021.3062469","article-title":"Adaptive deadlock control for a class of Petri nets with unreliable resources","volume":"52","author":"Zhang","year":"2022","journal-title":"IEEE Trans. Syst. Man. Cybern. Syst"},{"key":"B40","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1109\/TCSS.2021.3099475","article-title":"A new method for measuring the behavioral consistency degree of WF-net systems","volume":"9","author":"Zhao","year":"","journal-title":"IEEE Trans. Comput. Social Syst"},{"key":"B41","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.32604\/cmes.2022.018872","article-title":"Detecting and repairing data-flow errors in WFD-net systems","volume":"131","author":"Zhao","year":"","journal-title":"Comput. Modeling Eng. Sci"},{"key":"B42","first-page":"486","article-title":"On merging business process management and geographic information systems: modeling and execution of ecological concerns in processes","volume-title":"Communications in Computer and Information Science, vol 482","author":"Zhu","year":"2014"}],"container-title":["Frontiers in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/fcomp.2023.1136057\/full","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T04:39:33Z","timestamp":1678682373000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/fcomp.2023.1136057\/full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":42,"alternative-id":["10.3389\/fcomp.2023.1136057"],"URL":"https:\/\/doi.org\/10.3389\/fcomp.2023.1136057","relation":{},"ISSN":["2624-9898"],"issn-type":[{"type":"electronic","value":"2624-9898"}],"subject":[],"published":{"date-parts":[[2023,3,13]]},"article-number":"1136057"}}