{"id":"https://openalex.org/W2914616270","doi":"https://doi.org/10.1109/tsc.2019.2899086","title":"A Guard-Driven Analysis Approach of Workflow Net with Data","display_name":"A Guard-Driven Analysis Approach of Workflow Net with Data","publication_year":2019,"publication_date":"2019-02-12","ids":{"openalex":"https://openalex.org/W2914616270","doi":"https://doi.org/10.1109/tsc.2019.2899086","mag":"2914616270"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2019.2899086","doi":"https://doi.org/10.1109/tsc.2019.2899086","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2019.2899086","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-a","cwts-core","dongbi-a","jufo-2","norway-1","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012015642","display_name":"Dongming Xiang","orcid":"https://orcid.org/0000-0002-3757-9779","observed_orcids":["https://orcid.org/0000-0002-3757-9779","https://orcid.org/0009-0000-6547-3640"]},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]},{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongming Xiang","raw_affiliation_strings":["School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China","[Department of Computer Science and Technology, Zhejiang Sci-Tech University, 12646 Hangzhou, Zhejiang China (e-mail: flysky_xdm@163.com)]"],"raw_orcid":"https://orcid.org/0000-0002-3757-9779","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China","institution_ids":["https://openalex.org/I1328775524"]},{"raw_affiliation_string":"[Department of Computer Science and Technology, Zhejiang Sci-Tech University, 12646 Hangzhou, Zhejiang China (e-mail: flysky_xdm@163.com)]","institution_ids":["https://openalex.org/I1328775524","https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072386697","display_name":"Guanjun Liu","orcid":"https://orcid.org/0000-0002-7523-4827","observed_orcids":["https://orcid.org/0000-0002-7523-4827"]},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guanjun Liu","raw_affiliation_strings":["Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","[Department of Computer Science, Tongji Uni., Shanghai, Shanghai China 201804 (e-mail: liugj1116@163.com)]"],"raw_orcid":"https://orcid.org/0000-0002-7523-4827","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"[Department of Computer Science, Tongji Uni., Shanghai, Shanghai China 201804 (e-mail: liugj1116@163.com)]","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101015946","display_name":"Chungang Yan","orcid":"https://orcid.org/0000-0002-1917-9616","observed_orcids":["https://orcid.org/0000-0002-1917-9616"]},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chungang Yan","raw_affiliation_strings":["Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","[Tongji University, Shanghai, ShangHai China (e-mail: yanchungang@tongji.edu.cn)]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"[Tongji University, Shanghai, ShangHai China (e-mail: yanchungang@tongji.edu.cn)]","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066099338","display_name":"Changjun Jiang","orcid":"https://orcid.org/0000-0003-0637-9317","observed_orcids":["https://orcid.org/0000-0003-0637-9317"]},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changjun Jiang","raw_affiliation_strings":["Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","Department of Computer Science and Technology, Tongji University, Shanghai, ShangHai China (e-mail: cjjiang@tongji.edu.cn)"],"raw_orcid":"https://orcid.org/0000-0003-0637-9317","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Key Laboratory of Embedded System and Service Computing (Ministry of Education), Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tongji University, Shanghai, ShangHai China (e-mail: cjjiang@tongji.edu.cn)","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":2.9939,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.91296968,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"14","issue":"6","first_page":"1650","last_page":"1661"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0020000000949949026,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/state-space-explosion","display_name":"state space explosion","score":0.7940000295639038},{"id":"https://openalex.org/keywords/pseudostates","display_name":"pseudostates","score":0.9950000047683716},{"id":"https://openalex.org/keywords/data-flow-modeling","display_name":"data flow modeling","score":0.6019999980926514},{"id":"https://openalex.org/keywords/control-flow-modeling","display_name":"control flow modeling","score":0.6549999713897705}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7628178596496582},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7408956289291382},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7202813625335693},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6753628253936768},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.636150062084198},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5385485887527466},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4511711299419403},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4495561718940735},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38964542746543884},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38819417357444763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2179105579853058},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15879806876182556}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsc.2019.2899086","doi":"https://doi.org/10.1109/tsc.2019.2899086","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2019.2899086","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-a","cwts-core","dongbi-a","jufo-2","norway-1","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3211106307","display_name":null,"funder_award_id":"2017YFB1001804","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G72939857","display_name":"\u57fa\u4e8e\u6807\u53f7Petri\u7f51\u7684\u884c\u4e3a\u5b89\u5168\u4e92\u6a21\u62df\u7814\u7a76","funder_award_id":"61572360","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1537758272","https://openalex.org/W1557092039","https://openalex.org/W1600752814","https://openalex.org/W1985058355","https://openalex.org/W1990190960","https://openalex.org/W1996009176","https://openalex.org/W2000823825","https://openalex.org/W2024507265","https://openalex.org/W2050590236","https://openalex.org/W2052734937","https://openalex.org/W2056637671","https://openalex.org/W2078704225","https://openalex.org/W2126301692","https://openalex.org/W2129060213","https://openalex.org/W2138447175","https://openalex.org/W2140712028","https://openalex.org/W2151280810","https://openalex.org/W2151665032","https://openalex.org/W2159506309","https://openalex.org/W2163205194","https://openalex.org/W2172042018","https://openalex.org/W2206595187","https://openalex.org/W2342696694","https://openalex.org/W2344916214","https://openalex.org/W2489834867","https://openalex.org/W2578070173","https://openalex.org/W2607645294","https://openalex.org/W2614511596","https://openalex.org/W2623612387","https://openalex.org/W2744411194","https://openalex.org/W2998259759","https://openalex.org/W4230928844","https://openalex.org/W4232175613","https://openalex.org/W4234511540","https://openalex.org/W4249484115"],"related_works":["https://openalex.org/W3013503349","https://openalex.org/W2789510435","https://openalex.org/W4312305595","https://openalex.org/W4324087044","https://openalex.org/W4410430271","https://openalex.org/W4226109725","https://openalex.org/W2982194504","https://openalex.org/W2896390140","https://openalex.org/W2159506309","https://openalex.org/W7074127543"],"abstract_inverted_index":{"The":[0,35],"correctness":[1],"of":[2,25,38,72,91,127,134,140],"workflow":[3,26],"systems":[4],"is":[5,75,82],"dependent":[6],"on":[7,43],"not":[8,65],"only":[9],"their":[10,14,33,44],"control-flows":[11],"but":[12],"also":[13],"data-flows.WFD-nets(Workflow":[15],"net":[16],"with":[17],"data)":[18],"can":[19,87,104],"model":[20],"both":[21,105],"control-flow":[22],"and":[23,28,57,86,112,121,132,137],"data-flow":[24],"systems,":[27],"are":[29,41,64],"used":[30],"to":[31,95],"analyze/verify":[32],"correctness.":[34],"existing":[36],"methods":[37,50],"analyzing/verifying":[39],"WFD-nets":[40],"based":[42],"reachability":[45,102],"graphs.":[46],"However,":[47],"the":[48,61,89,107,118,130],"reachability-graph-based":[49],"have":[51],"two":[52],"flaws:":[53],"state":[54,108],"space":[55,109],"explosion":[56,110],"pseudo":[58,114],"states,":[59],"since":[60],"guard":[62,79],"functions":[63],"handled":[66],"perfectly.":[67],"Note":[68],"that":[69],"every":[70],"transition":[71],"a":[73,78,83,123],"WFD-net":[74],"labeled":[76],"by":[77],"function,":[80],"which":[81],"Boolean":[84],"expressionw.r.t.data":[85],"determine":[88],"progress":[90],"control-flow.":[92],"In":[93],"order":[94],"solve":[96],"these":[97],"problems,":[98],"we":[99],"propose":[100],"aguard-driven":[101],"graphthat":[103],"alleviate":[106],"problem":[111],"avoid":[113],"states.":[115],"We":[116],"describe":[117],"related":[119],"algorithms":[120],"develop":[122],"tool.":[124],"A":[125],"group":[126],"experiments":[128],"illustrate":[129],"advantage":[131],"effectiveness":[133],"our":[135],"approach,":[136],"an":[138],"example":[139],"property":[141],"loan":[142],"shows":[143],"its":[144],"usefulness.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2019-02-21T00:00:00"}