{"id":"https://openalex.org/W3207359814","doi":"https://doi.org/10.1016/j.is.2022.101983","title":"Verifying compliance in process choreographies: Foundations, algorithms, and implementation","display_name":"Verifying compliance in process choreographies: Foundations, algorithms, and implementation","publication_year":2022,"publication_date":"2022-01-10","ids":{"openalex":"https://openalex.org/W3207359814","doi":"https://doi.org/10.1016/j.is.2022.101983","mag":"3207359814"},"language":"en","primary_location":{"id":"doi:10.1016/j.is.2022.101983","doi":"https://doi.org/10.1016/j.is.2022.101983","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2022.101983","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0306437922000023/pdf","source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Systems","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.sciencedirect.com/science/article/pii/S0306437922000023/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019532484","display_name":"Walid Fdhila","orcid":"https://orcid.org/0000-0002-5245-6128","observed_orcids":["https://orcid.org/0000-0002-5245-6128"]},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4210167190","display_name":"SBA Research","ror":"https://ror.org/05nny6x17","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210167190"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Walid Fdhila","raw_affiliation_strings":["Security Business Austria (SBA-research), Vienna, Austria","University of Vienna, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-5245-6128","affiliations":[{"raw_affiliation_string":"Security Business Austria (SBA-research), Vienna, Austria","institution_ids":["https://openalex.org/I4210167190"]},{"raw_affiliation_string":"University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021712760","display_name":"David Knuplesch","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Knuplesch","raw_affiliation_strings":["Alphaquest GmbH, Ulm, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alphaquest GmbH, Ulm, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071368904","display_name":"Stefanie Rinderle\u2010Ma","orcid":"https://orcid.org/0000-0001-5656-6108","observed_orcids":["https://orcid.org/0000-0001-5656-6108"]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefanie Rinderle-Ma","raw_affiliation_strings":["Technical University of Munich, Department of Informatics, Boltzmannstrasse 3, Garching, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5656-6108","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Department of Informatics, Boltzmannstrasse 3, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075861532","display_name":"Manfred Reichert","orcid":"https://orcid.org/0000-0003-2536-4153","observed_orcids":["https://orcid.org/0000-0003-2536-4153"]},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Manfred Reichert","raw_affiliation_strings":["Institute of Databases and Information Systems, Ulm University, Ulm, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2536-4153","affiliations":[{"raw_affiliation_string":"Institute of Databases and Information Systems, Ulm University, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5019532484"],"corresponding_institution_ids":["https://openalex.org/I129774422","https://openalex.org/I4210167190"],"apc_list":{"value":2840,"currency":"USD","value_usd":2840},"apc_paid":{"value":2840,"currency":"USD","value_usd":2840},"fwci":1.713,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.86403814,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"108","issue":null,"first_page":"101983","last_page":"101983"},"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.9990000128746033,"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.9990000128746033,"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.00039999998989515007,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/process-choreography","display_name":"process choreography","score":0.8230000138282776},{"id":"https://openalex.org/keywords/compliance-verification","display_name":"compliance verification","score":0.9620000123977661},{"id":"https://openalex.org/keywords/inter-organizational-business-processes","display_name":"inter-organizational business processes","score":0.9179999828338623},{"id":"https://openalex.org/keywords/transitivity","display_name":"transitivity","score":0.6510000228881836},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.7889999747276306},{"id":"https://openalex.org/keywords/manufacturing-processes","display_name":"production process","score":0.6380000114440918},{"id":"https://openalex.org/keywords/regulatory-compliance","display_name":"regulatory compliance","score":0.6039999723434448}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8104204535484314},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7053418159484863},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6180352568626404},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5952441692352295},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.5589402318000793},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48839157819747925},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.48638275265693665},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.47451940178871155},{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.4286719858646393},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3411264419555664},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.338623046875},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32580476999282837},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.31474658846855164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20142987370491028},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/j.is.2022.101983","doi":"https://doi.org/10.1016/j.is.2022.101983","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2022.101983","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0306437922000023/pdf","source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2110.09399","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2110.09399","pdf_url":"https://arxiv.org/pdf/2110.09399","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1688876","doi":null,"is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1688876","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1767505","doi":null,"is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1767505","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.48550/arxiv.2110.09399","doi":"https://doi.org/10.48550/arxiv.2110.09399","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2110.09399","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1016/j.is.2022.101983","doi":"https://doi.org/10.1016/j.is.2022.101983","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2022.101983","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0306437922000023/pdf","source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G8029424273","display_name":"Privacy preserving federated machine learning and blockchaining for reduced cyber risks in a world of distributed healthcare","funder_award_id":"826078","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323033","display_name":"Bundesministerium f\u00fcr Verkehr, Innovation und Technologie","ror":"https://ror.org/04marky29"},{"id":"https://openalex.org/F4320327593","display_name":"Bundesministerium f\u00fcr Digitalisierung und Wirtschaftsstandort","ror":"https://ror.org/00eh1sz49"},{"id":"https://openalex.org/F4320329167","display_name":"SBA Research","ror":"https://ror.org/05nny6x17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207359814.pdf","grobid_xml":"https://content.openalex.org/works/W3207359814.grobid-xml"},"referenced_works_count":74,"referenced_works":["https://openalex.org/W68282773","https://openalex.org/W103408854","https://openalex.org/W127379452","https://openalex.org/W160533777","https://openalex.org/W182200930","https://openalex.org/W189285531","https://openalex.org/W205457200","https://openalex.org/W392412879","https://openalex.org/W1013213845","https://openalex.org/W1514339125","https://openalex.org/W1550891864","https://openalex.org/W1552644025","https://openalex.org/W1587329505","https://openalex.org/W1588296695","https://openalex.org/W1793272377","https://openalex.org/W1822214039","https://openalex.org/W1826622293","https://openalex.org/W1857461085","https://openalex.org/W1902641335","https://openalex.org/W1993701649","https://openalex.org/W2022078754","https://openalex.org/W2022822778","https://openalex.org/W2066394193","https://openalex.org/W2100615639","https://openalex.org/W2100680119","https://openalex.org/W2104537183","https://openalex.org/W2105848112","https://openalex.org/W2109499854","https://openalex.org/W2110279509","https://openalex.org/W2123849585","https://openalex.org/W2125252087","https://openalex.org/W2134106518","https://openalex.org/W2136811038","https://openalex.org/W2148254432","https://openalex.org/W2151737601","https://openalex.org/W2156683747","https://openalex.org/W2304191920","https://openalex.org/W2339568833","https://openalex.org/W2341842883","https://openalex.org/W2413695887","https://openalex.org/W2479964870","https://openalex.org/W2483904522","https://openalex.org/W2503170995","https://openalex.org/W2505831055","https://openalex.org/W2508885382","https://openalex.org/W2524370299","https://openalex.org/W2540145024","https://openalex.org/W2600063092","https://openalex.org/W2606010969","https://openalex.org/W2734598710","https://openalex.org/W2751659082","https://openalex.org/W2779552694","https://openalex.org/W2780248032","https://openalex.org/W2785156082","https://openalex.org/W2794161035","https://openalex.org/W2886361334","https://openalex.org/W2888195605","https://openalex.org/W2900901212","https://openalex.org/W2929318940","https://openalex.org/W2947933179","https://openalex.org/W2968354667","https://openalex.org/W2969418283","https://openalex.org/W2972659641","https://openalex.org/W2990225224","https://openalex.org/W2995038594","https://openalex.org/W2997878935","https://openalex.org/W3036079545","https://openalex.org/W3094407426","https://openalex.org/W3104850046","https://openalex.org/W3160789781","https://openalex.org/W4239400663","https://openalex.org/W4288660580","https://openalex.org/W6632046351","https://openalex.org/W7037979342"],"related_works":["https://openalex.org/W3094407426","https://openalex.org/W1013213845","https://openalex.org/W1902641335","https://openalex.org/W2136811038","https://openalex.org/W2074498012","https://openalex.org/W3094235201","https://openalex.org/W2990225224","https://openalex.org/W2129175879","https://openalex.org/W981321154","https://openalex.org/W406634656"],"abstract_inverted_index":{"The":[0,146,169,184],"current":[1],"push":[2],"towards":[3],"interoperability":[4],"drives":[5],"companies":[6],"to":[7,26,109,123],"collaborate":[8],"through":[9],"process":[10,64,98],"choreographies.":[11],"At":[12],"the":[13,27,33,77,81,85,97,106,139,152,187],"same":[14],"time,":[15],"they":[16],"face":[17],"a":[18,174,178,193],"jungle":[19],"of":[20,80,87,99,151,186],"continuously":[21],"changing":[22],"regulations,":[23],"e.g.,":[24],"due":[25],"pandemic":[28],"and":[29,51,144,156,159],"developments":[30],"such":[31,166],"as":[32,167],"BREXIT,":[34],"which":[35],"strongly":[36],"affect":[37],"cross-organizational":[38,70],"collaborations.":[39],"Think":[40],"of,":[41],"for":[42,68,181],"example,":[43],"supply":[44],"chains":[45],"spanning":[46],"several":[47,100],"countries":[48],"with":[49,105],"different":[50],"maybe":[52],"even":[53],"conflicting":[54],"COVID19":[55],"traveling":[56],"restrictions.":[57],"Hence,":[58],"providing":[59],"automatic":[60],"compliance":[61,89,112],"verification":[62],"in":[63,173],"choreographies":[65],"is":[66,122,141,171,189],"crucial":[67],"any":[69],"business":[71],"process.":[72],"A":[73],"particular":[74],"challenge":[75],"concerns":[76],"restricted":[78],"visibility":[79],"partner":[82,137],"processes":[83],"at":[84],"presence":[86],"global":[88,111],"rules":[90,93],"(GCR),":[91],"i.e.,":[92],"that":[94,130],"span":[95],"across":[96],"partners.":[101],"This":[102],"work":[103],"deals":[104],"question":[107],"how":[108],"verify":[110],"if":[113],"affected":[114,136],"tasks":[115],"are":[116,161],"not":[117],"fully":[118],"visible.":[119],"Our":[120],"idea":[121],"decompose":[124],"GCRs":[125],"into":[126],"so":[127],"called":[128],"assertions":[129],"can":[131],"be":[132],"checked":[133],"by":[134],"each":[135],"whereby":[138],"decomposition":[140],"both":[142],"correct":[143],"lossless.":[145],"algorithm":[147,170],"exploits":[148],"transitivity":[149],"properties":[150],"underlying":[153],"rule":[154],"specification,":[155],"its":[157],"correctness":[158],"complexity":[160],"proven,":[162],"considering":[163],"advanced":[164],"aspects":[165],"loops.":[168],"implemented":[172],"proof-of-concept":[175],"prototype,":[176],"including":[177],"model":[179],"checker":[180],"verifying":[182],"compliance.":[183],"applicability":[185],"approach":[188],"further":[190],"demonstrated":[191],"on":[192],"real-world":[194],"manufacturing":[195],"use":[196],"case.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2021-10-25T00:00:00"}