{"id":"https://openalex.org/W3032967604","doi":"https://doi.org/10.1109/tase.2020.2993376","title":"Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns","display_name":"Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns","publication_year":2020,"publication_date":"2020-06-04","ids":{"openalex":"https://openalex.org/W3032967604","doi":"https://doi.org/10.1109/tase.2020.2993376","mag":"3032967604"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2020.2993376","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.2993376","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Automation Science and Engineering","raw_type":"journal-article"},"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/A5100331605","display_name":"Cong Liu","orcid":"https://orcid.org/0000-0002-5999-2126"},"institutions":[{"id":"https://openalex.org/I119203015","display_name":"Shandong University of Technology","ror":"https://ror.org/02mr3ar13","country_code":"CN","type":"education","lineage":["https://openalex.org/I119203015"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Cong Liu","raw_affiliation_strings":["School of Computer Science and Technology, Shandong University of Technology, Zibo, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Shandong University of Technology, Zibo, China","institution_ids":["https://openalex.org/I119203015"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003178957","display_name":"Qingtian Zeng","orcid":"https://orcid.org/0000-0002-6421-8223"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingtian Zeng","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073321754","display_name":"Long Cheng","orcid":"https://orcid.org/0000-0003-1638-059X"},"institutions":[{"id":"https://openalex.org/I42934936","display_name":"Dublin City University","ror":"https://ror.org/04a1a1e81","country_code":"IE","type":"education","lineage":["https://openalex.org/I42934936"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Long Cheng","raw_affiliation_strings":["Insight Centre for Data Analytics, School of Computing, Dublin City University, Dublin 9, Ireland"],"affiliations":[{"raw_affiliation_string":"Insight Centre for Data Analytics, School of Computing, Dublin City University, Dublin 9, Ireland","institution_ids":["https://openalex.org/I42934936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040737744","display_name":"Hua Duan","orcid":"https://orcid.org/0000-0002-0947-2704"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hua Duan","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["MO","US"],"is_corresponding":false,"raw_author_name":"Mengchu Zhou","raw_affiliation_strings":["Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau, China","New Jersey Institute of Technology, Newark, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022399023","display_name":"Jiujun Cheng","orcid":"https://orcid.org/0000-0001-5176-4762"},"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":"Jiujun Cheng","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100331605"],"corresponding_institution_ids":["https://openalex.org/I119203015"],"apc_list":null,"apc_paid":null,"fwci":9.0793,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.97796287,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"18","issue":"3","first_page":"1037","last_page":"1048"},"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.9994999766349792,"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.9994999766349792,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9803000092506409,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12607","display_name":"Personal Information Management and User Behavior","score":0.9789999723434448,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7903773784637451},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7761471271514893},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6982824206352234},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6338379383087158},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6171985864639282},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35801389813423157},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.18217986822128296},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17146819829940796},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17073863744735718},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1214560866355896},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.11800757050514221}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7903773784637451},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7761471271514893},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6982824206352234},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6338379383087158},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6171985864639282},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35801389813423157},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.18217986822128296},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17146819829940796},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17073863744735718},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1214560866355896},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.11800757050514221},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tase.2020.2993376","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.2993376","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:http://www.rian.ie/189155/","is_oa":false,"landing_page_url":"http://doras.dcu.ie/24733/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Liu, Cong ORCID: 0000-0002-5999-2126 &lt;https://orcid.org/0000-0002-5999-2126&gt;, Zeng, QingTian ORCID: 0000-0002-6421-8223 &lt;https://orcid.org/0000-0002-6421-8223&gt;, Cheng, Long ORCID: 0000-0003-1638-059X &lt;https://orcid.org/0000-0003-1638-059X&gt;, Duan, Hua, Zhou, MengChu ORCID: 0000-0002-5408-8752 &lt;https://orcid.org/0000-0002-5408-8752&gt; and Cheng, JiuJun ORCID: 0000-0001-5176-4762 &lt;https://orcid.org/0000-0001-5176-4762&gt;  (2020) Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns.  IEEE Transactions on Automation Science and Engineering, 18 .   pp. 1-12.  ISSN 1545-5955","raw_type":"Other"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G2782574266","display_name":null,"funder_award_id":"2015TDJH102","funder_id":"https://openalex.org/F4320322522","funder_display_name":"Shandong University of Science and Technology"},{"id":"https://openalex.org/G7292913769","display_name":null,"funder_award_id":"61902222","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8495729842","display_name":null,"funder_award_id":"61872271","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/F4320322522","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1417084075","https://openalex.org/W1496620875","https://openalex.org/W1586934437","https://openalex.org/W1964412949","https://openalex.org/W1981182823","https://openalex.org/W1987350303","https://openalex.org/W1996109622","https://openalex.org/W2006096769","https://openalex.org/W2013306276","https://openalex.org/W2042175319","https://openalex.org/W2057339615","https://openalex.org/W2062052233","https://openalex.org/W2067741328","https://openalex.org/W2076749410","https://openalex.org/W2085101251","https://openalex.org/W2091277021","https://openalex.org/W2092130739","https://openalex.org/W2100003513","https://openalex.org/W2105590118","https://openalex.org/W2108832088","https://openalex.org/W2113355185","https://openalex.org/W2117057719","https://openalex.org/W2122867606","https://openalex.org/W2129466958","https://openalex.org/W2130310612","https://openalex.org/W2133913220","https://openalex.org/W2148398388","https://openalex.org/W2158103184","https://openalex.org/W2159506309","https://openalex.org/W2162868766","https://openalex.org/W2170527970","https://openalex.org/W2220647508","https://openalex.org/W2238009056","https://openalex.org/W2295288655","https://openalex.org/W2313484402","https://openalex.org/W2333276479","https://openalex.org/W2334129451","https://openalex.org/W2515300282","https://openalex.org/W2530196882","https://openalex.org/W2582693844","https://openalex.org/W2588064449","https://openalex.org/W2607645294","https://openalex.org/W2776443426","https://openalex.org/W2806528198","https://openalex.org/W2885936910","https://openalex.org/W2890905394","https://openalex.org/W2898822051","https://openalex.org/W2899338885","https://openalex.org/W3007984939","https://openalex.org/W3014204580","https://openalex.org/W3089205322","https://openalex.org/W3113683159","https://openalex.org/W4246075700","https://openalex.org/W6628227813","https://openalex.org/W6635038085","https://openalex.org/W6733396448","https://openalex.org/W6752214100","https://openalex.org/W6787821277"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1590965489","https://openalex.org/W2059217922"],"abstract_inverted_index":{"Workflow":[0],"management":[1],"technology":[2],"has":[3,259],"become":[4],"a":[5,31,65,103,122,234,254],"key":[6],"means":[7],"to":[8,53,61,68,82,138,147,161,181,192,269],"improve":[9],"enterprise":[10,210],"productivity.":[11],"More":[12],"and":[13,21,50,56,244,251],"more":[14],"workflow":[15,36,129,145,195,271],"systems":[16],"are":[17,80,99,246],"crossing":[18],"organizational":[19],"boundaries":[20],"may":[22],"involve":[23],"multiple":[24],"interacting":[25],"organizations.":[26],"This":[27,212],"article":[28],"focuses":[29],"on":[30],"type":[32],"of":[33,74,142,185,208,217],"loosely":[34,221],"coupled":[35,222],"architecture":[37],"with":[38,87,130,225],"collaborative":[39,172,209,226],"tasks,":[40],"i.e.,":[41],"each":[42,75,143],"business":[43,48,85,105],"partner":[44],"owns":[45],"its":[46,115,149],"private":[47],"process":[49,106,146,257],"is":[51,108,137,179,239,266],"able":[52],"operate":[54],"independently,":[55],"all":[57],"involved":[58],"organizations":[59],"need":[60],"be":[62,159],"synchronized":[63],"at":[64],"certain":[66,70],"point":[67],"complete":[69],"public":[71],"tasks.":[72,173,227],"Because":[73],"organization\u2019s":[76],"privacy":[77,111],"consideration,":[78],"they":[79],"unwilling":[81],"share":[83],"the":[84,127,155,163,183,186,205,215,230],"details":[86],"others.":[88],"In":[89],"this":[90,119],"way,":[91],"traditional":[92],"correctness":[93,123,141,218,236,272],"verification":[94,124,196,219,237,273],"approaches":[95],"via":[96,171],"reachability":[97],"analysis":[98],"not":[100],"practical":[101],"as":[102],"global":[104,150],"model":[107],"unavailable":[109],"for":[110,126,220],"preservation.":[112],"To":[113,228],"ensure":[114,229],"globally":[116,231],"correct":[117,206,232],"execution,":[118,233],"work":[120,213],"establishes":[121],"approach":[125,157,238],"cross-organizational":[128],"task":[131],"synchronization":[132],"patterns.":[133],"Its":[134],"core":[135],"idea":[136],"use":[139],"local":[140],"suborganizational":[144,169],"guarantee":[148],"correctness.":[151],"We":[152],"prove":[153],"that":[154],"proposed":[156,187,242,264],"can":[158],"used":[160,180],"investigate":[162],"behavioral":[164,235],"property":[165],"preservation":[166],"when":[167],"synthesizing":[168],"workflows":[170,224],"A":[174],"medical":[175,255],"diagnosis":[176,256],"running":[177],"case":[178,258],"illustrate":[182],"applicability":[184],"approaches.":[188],"<italic":[189],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[190],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[191],"Practitioners</i>":[193],"\u2014Cross-organizational":[194],"techniques":[197,245],"play":[198],"an":[199],"increasingly":[200],"important":[201],"role":[202],"in":[203],"ensuring":[204],"execution":[207],"businesses.":[211],"addresses":[214],"issue":[216],"interactive":[223],"established.":[240],"All":[241],"concepts":[243],"supported":[247],"by":[248],"open-source":[249],"tools,":[250],"evaluation":[252],"over":[253],"shown":[260],"their":[261],"applicability.":[262],"The":[263],"methodology":[265],"readily":[267],"applicable":[268],"industrial-size":[270],"problems.":[274]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}