Verifying compliance in process choreographies: Foundations, algorithms, and implementation
The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaboration...
Saved in:
| Published in: | Information systems (Oxford) Vol. 108; p. 101983 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Oxford
Elsevier Ltd
01.09.2022
Elsevier Science Ltd |
| Subjects: | |
| ISSN: | 0306-4379, 1873-6076 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaborations. Think of, for example, supply chains spanning several countries with different and maybe even conflicting COVID19 traveling restrictions. Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process. A particular challenge concerns the restricted visibility of the partner processes at the presence of global compliance rules (GCR), i.e., rules that span across the process of several partners. This work deals with the question how to verify global compliance if affected tasks are not fully visible. Our idea is to decompose GCRs into so called assertions that can be checked by each affected partner whereby the decomposition is both correct and lossless. The algorithm exploits transitivity properties of the underlying rule specification, and its correctness and complexity are proven, considering advanced aspects such as loops. The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance. The applicability of the approach is further demonstrated on a real-world manufacturing use case.
•Decomposition enables decentralized checking of global compliance rules.•Global compliance decomposition avoids trust in a central coordinator with knowledge on private tasks.•Global compliance decomposition improves privacy of partner private processes.•Global Compliance decomposition reduces compliance-related partner communication.•Proof-of-concept and practical applications. |
|---|---|
| AbstractList | The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaborations. Think of, for example, supply chains spanning several countries with different and maybe even conflicting COVID19 traveling restrictions. Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process. A particular challenge concerns the restricted visibility of the partner processes at the presence of global compliance rules (GCR), i.e., rules that span across the process of several partners. This work deals with the question how to verify global compliance if affected tasks are not fully visible. Our idea is to decompose GCRs into so called assertions that can be checked by each affected partner whereby the decomposition is both correct and lossless. The algorithm exploits transitivity properties of the underlying rule specification, and its correctness and complexity are proven, considering advanced aspects such as loops. The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance. The applicability of the approach is further demonstrated on a real-world manufacturing use case. The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaborations. Think of, for example, supply chains spanning several countries with different and maybe even conflicting COVID19 traveling restrictions. Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process. A particular challenge concerns the restricted visibility of the partner processes at the presence of global compliance rules (GCR), i.e., rules that span across the process of several partners. This work deals with the question how to verify global compliance if affected tasks are not fully visible. Our idea is to decompose GCRs into so called assertions that can be checked by each affected partner whereby the decomposition is both correct and lossless. The algorithm exploits transitivity properties of the underlying rule specification, and its correctness and complexity are proven, considering advanced aspects such as loops. The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance. The applicability of the approach is further demonstrated on a real-world manufacturing use case. •Decomposition enables decentralized checking of global compliance rules.•Global compliance decomposition avoids trust in a central coordinator with knowledge on private tasks.•Global compliance decomposition improves privacy of partner private processes.•Global Compliance decomposition reduces compliance-related partner communication.•Proof-of-concept and practical applications. |
| ArticleNumber | 101983 |
| Author | Reichert, Manfred Fdhila, Walid Rinderle-Ma, Stefanie Knuplesch, David |
| Author_xml | – sequence: 1 givenname: Walid orcidid: 0000-0002-5245-6128 surname: Fdhila fullname: Fdhila, Walid email: wfdhila@sba-research.org organization: Security Business Austria (SBA-research), Vienna, Austria – sequence: 2 givenname: David surname: Knuplesch fullname: Knuplesch, David email: d.knuplesch@alphaquest.de organization: Alphaquest GmbH, Ulm, Germany – sequence: 3 givenname: Stefanie orcidid: 0000-0001-5656-6108 surname: Rinderle-Ma fullname: Rinderle-Ma, Stefanie email: stefanie.rinderle-ma@tum.de organization: Technical University of Munich, Department of Informatics, Boltzmannstrasse 3, Garching, Germany – sequence: 4 givenname: Manfred orcidid: 0000-0003-2536-4153 surname: Reichert fullname: Reichert, Manfred email: manfred.reichert@uni-ulm.de organization: Institute of Databases and Information Systems, Ulm University, Ulm, Germany |
| BookMark | eNp9kEFLAzEQhYMo2FbvHhe8ujW72Sab3qRYFQpe1IuHkE1m2yltUpOt0H9v6noS9DQz8L6ZN29ITp13QMhVQccFLfjteoxxXNKyPI6yZidkUNSC5ZwKfkoGlFGeV0zIczKMcU0pLSdSDsj7GwRsD-iWmfHb3Qa1M5Chy3bBG4gxMysfwC-D3q0Q4jSb-72zukPv4k2mN0sfsFttj72zGaYNsAXXfQsuyFmrNxEuf-qIvM7vX2aP-eL54Wl2t8gN41WXG9sI3morBJe1MbWVUENrrbSGc1OwSgJvGivbsjZSNsJqzhqteVWBFZWs2Ihc93uT5489xE6t_T64dFKVvJaiqCYlSyreq0zwMQZolcHeZxc0blRB1TFItVaYuBSk6oNMIP0F7gJudTj8h0x7BNLbnwhBRYOQkrUYwHTKevwb_gKmso6n |
| CitedBy_id | crossref_primary_10_1016_j_is_2023_102210 |
| Cites_doi | 10.1016/j.is.2016.09.005 10.1016/j.is.2015.02.007 10.1016/j.is.2017.12.005 10.1016/j.is.2016.10.006 10.1007/s42979-020-00215-x 10.1016/j.dss.2016.05.004 10.1080/17517575.2015.1135482 10.1007/s10796-015-9558-1 10.1007/BF03342739 10.1109/EDOC.2018.00022 10.1007/s10115-017-1142-1 10.1142/S0218843005001109 10.1016/j.jlap.2013.05.005 10.1016/j.jvlc.2010.11.002 10.1007/s12599-019-00594-3 10.1016/j.is.2017.12.009 10.1016/j.is.2014.10.004 10.1007/978-3-030-62412-5_18 10.1145/3183367 10.1016/j.is.2010.06.005 10.1016/j.is.2019.101484 10.3233/FI-2010-310 10.1109/EDOC49727.2020.00019 10.1007/s13198-017-0653-1 10.4204/EPTCS.147.7 10.1007/s10506-018-9223-3 10.1007/s10270-016-0526-0 10.1145/1658373.1658376 10.1007/s10270-014-0395-3 |
| ContentType | Journal Article |
| Copyright | 2022 The Author(s) Copyright Elsevier Science Ltd. Sep 2022 |
| Copyright_xml | – notice: 2022 The Author(s) – notice: Copyright Elsevier Science Ltd. Sep 2022 |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 8FD E3H F2A JQ2 L7M L~C L~D |
| DOI | 10.1016/j.is.2022.101983 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Technology Research Database Library & Information Sciences Abstracts (LISA) Library & Information Science Abstracts (LISA) ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Library and Information Science Abstracts (LISA) ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science Business |
| EISSN | 1873-6076 |
| ExternalDocumentID | 10_1016_j_is_2022_101983 S0306437922000023 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 13V 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 63O 6I. 7-5 71M 77K 8P~ 9JN 9JO AAAKF AAAKG AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABBOA ABFNM ABKBG ABMAC ABMVD ABTAH ABUCO ABXDB ABYKQ ACDAQ ACGFS ACHRH ACNNM ACNTT ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGJBL AGUBO AGUMN AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALEQD ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC BNSAS CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HAMUX HF~ HLZ HVGLF HZ~ H~9 IHE J1W KOM LG9 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SBC SDF SDG SDP SES SEW SPC SPCBC SSB SSD SSL SSV SSZ T5K TN5 UHS VH1 WUQ XSW ZCG ZY4 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD E3H F2A JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c364t-cdb76fad77698cc8d9e8efdd9dc66c1349e6bbd9f28c99b7da63baa644ed74943 |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001133975200011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0306-4379 |
| IngestDate | Fri Nov 14 18:50:15 EST 2025 Tue Nov 18 21:51:28 EST 2025 Sat Nov 29 07:25:07 EST 2025 Fri Feb 23 02:39:59 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Rule decomposition Business rules Distributed business processes Compliance management Business process compliance Process choreography Global compliance rules |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c364t-cdb76fad77698cc8d9e8efdd9dc66c1349e6bbd9f28c99b7da63baa644ed74943 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0001-5656-6108 0000-0003-2536-4153 0000-0002-5245-6128 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.is.2022.101983 |
| PQID | 2689714523 |
| PQPubID | 2035446 |
| ParticipantIDs | proquest_journals_2689714523 crossref_citationtrail_10_1016_j_is_2022_101983 crossref_primary_10_1016_j_is_2022_101983 elsevier_sciencedirect_doi_10_1016_j_is_2022_101983 |
| PublicationCentury | 2000 |
| PublicationDate | September 2022 2022-09-00 20220901 |
| PublicationDateYYYYMMDD | 2022-09-01 |
| PublicationDate_xml | – month: 09 year: 2022 text: September 2022 |
| PublicationDecade | 2020 |
| PublicationPlace | Oxford |
| PublicationPlace_xml | – name: Oxford |
| PublicationTitle | Information systems (Oxford) |
| PublicationYear | 2022 |
| Publisher | Elsevier Ltd Elsevier Science Ltd |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier Science Ltd |
| References | Fdhila, Gall, Rinderle-Ma, Mangler, Indiono (b18) 2016 Winter, Stertz, Rinderle-Ma (b36) 2020; 89 Ramezani, Fahland, van der Aalst (b31) 2012 González, Ruggia (b52) 2014 van der Aalst, Weske (b59) 2013 Knuplesch, Reichert, Kumar (b13) 2017; 64 Elgammal, Turetken, van den Heuvel, Papazoglou (b32) 2016; 15 Comuzzi (b63) 2014 Ciccio, Maggi, Montali, Mendling (b29) 2017; 64 F. Muram, H. Tran, U. Zdun, Automated mapping of uml activity diagrams to formal specifications for supporting containment checking, in: 11th Int Workshop on Formal Engineering Approaches to Software Components and Architectures, 2014, pp. 93—107. Meroni, Baresi, Montali, Plebani (b10) 2018; 73 Knuplesch (b22) 2019 Bischoff, Fdhila, Rinderle-Ma (b16) 2019 Knuplesch, Reichert (b21) 2017; 16 Fdhila, Rinderle-Ma, Knuplesch, Reichert (b6) 2015 Decker, Weske (b17) 2007 Hashmi, Governatori, Wynn (b19) 2016; 18 van der Aalst, Lohmann, Massuthe, Stahl, Wolf (b15) 2008 Berry, Milosevic (b57) 2005; 14 Kwantes, Van Gorp, Kleijn, Rensink (b44) 2015 Fdhila, Indiono, Rinderle-Ma, Reichert (b14) 2015; 49 Awad, Weidlich, Weske (b26) 2011; 22 Knuplesch, Reichert, Fdhila, Rinderle-Ma (b35) 2013 Ly, Maggi, Montali, Rinderle-Ma, van der Aalst (b46) 2015; 54 Mendling (b2) 2018; 9 Schunselaar, Maggi, Sidorova (b12) 2012 Hildebrandt, Mukkamala, Slaats, Zanitti (b58) 2013; 82 Zaman, Hassani (b7) 2020; 1 Goedertier, Vanthienen (b66) 2006 Montali, Maggi, Chesani, Mello, van der Aalst (b45) 2014; 5 Knuplesch, Fdhila, Reichert, Rinderle-Ma (b54) 2015 Bravetti, Zavattaro (b60) 2018 Kasse, Xu, de Vrieze, Bai (b9) 2018 González, Ruggia (b51) 2018 Knuplesch, Reichert, Ly, Kumar, Rinderle-Ma (b20) 2013 Brambilla, Deutsch, Sui, Vianu (b50) 2005 Weske (b41) 2019 Borkowski, Fdhila, Nardelli, Rinderle-Ma, Schulte (b4) 2019; 81 Fellmann, Zasada (b42) 2014 Yao, Chen, Levy (b62) 2014 F. Corradini, A. Morichetta, A. Polini, B. Re, F. Tiezzi, Collaboration vs. choreography conformance in bpmn 2.0: From theory to practice, in: IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC 2018), 2018, pp. 95-104. Montali, Torroni, Chesani, Mello, Alberti, Lamma (b34) 2010; 102 Montali, Plebani (b55) 2017 Knuplesch, Reichert, Ly, Kumar, Rinderle-Ma (b23) 2013 Tosatto, Governatori, van Beest, Olivieri (b25) 2019; 6 Comuzzi (b64) 2017; 11 Voglhofer, Rinderle-Ma (b38) 2020; 62 Meironke, Seyffarth, Damarowsky (b3) 2019 Hashmi, Governatori, Lam, Wynn (b24) 2018; 57 Duan, Zhang, Sun (b49) 2018; 95 Pesic, Schonenberg, van der Aalst (b65) 2007 Tosatto, Governatori, van Beest (b30) 2019 Matschinske, Späth, Nasirigerdeh, Torkzadehmahani, Hartebrodt, Orb’an, Fej’er, Zolotareva, Bakhtiari, Bihari, Bloice, Donner, Fdhila, Frisch, Hauschild, Heider, Holzinger, Hötzendorfer, Hospes, Kacprowski, Kastelitz, List, Mayer, Moga, Müller, Pustozerova, Röttger, Saranti, Schmidt, Tschohl, Wenke, Baumbach (b37) 2021 W. Fdhila, S. Rinderle-Ma, D. Knuplesch, M. Reichert, Decomposition-based verification of global compliance in process choreographies, in: 24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, 2020, pp. 5–8, (2020) 77-86. Decker, Weske (b40) 2011; 36 Taghiabadi, Fahland, van Dongen, van der Aalst (b47) 2013 Maggi, Montali, Westergaard, van der Aalst (b43) 2011 Knuplesch, Reichert, Mangler, Rinderle-Ma, Fdhila (b1) 2013 O. Oyekola, L. Xu, Verification and compliance in collaborative processes, in: Boosting Collaborative Networks 4.0-21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November (2020) 23-25, Proceedings. 2020, pp. 213-223. Becker, Delfmann, Eggert, Schwittay (b27) 2012; 5 Kasse, Xu, de Vrieze, Bai (b53) 2019 Knuplesch, Reichert, Pryss, Fdhila, Rinderle-Ma (b28) 2013 Decker, Weske (b39) 2007 Governatori, Idelberger, Milosevic, Riveret, Sartor, Xu (b56) 2018; 26 Ciccio, van der Aa, Cabanillas, Mendling, Prescher (b5) 2016; 88 Montali, Pesic, Aalst, Chesani, Mello, Storari (b33) 2010; 4 Knuplesch (10.1016/j.is.2022.101983_b23) 2013 Borkowski (10.1016/j.is.2022.101983_b4) 2019; 81 Pesic (10.1016/j.is.2022.101983_b65) 2007 Decker (10.1016/j.is.2022.101983_b40) 2011; 36 González (10.1016/j.is.2022.101983_b52) 2014 Meironke (10.1016/j.is.2022.101983_b3) 2019 10.1016/j.is.2022.101983_b48 Knuplesch (10.1016/j.is.2022.101983_b21) 2017; 16 Ciccio (10.1016/j.is.2022.101983_b5) 2016; 88 Becker (10.1016/j.is.2022.101983_b27) 2012; 5 10.1016/j.is.2022.101983_b8 Hashmi (10.1016/j.is.2022.101983_b19) 2016; 18 Fdhila (10.1016/j.is.2022.101983_b14) 2015; 49 Governatori (10.1016/j.is.2022.101983_b56) 2018; 26 Winter (10.1016/j.is.2022.101983_b36) 2020; 89 Voglhofer (10.1016/j.is.2022.101983_b38) 2020; 62 Taghiabadi (10.1016/j.is.2022.101983_b47) 2013 Bravetti (10.1016/j.is.2022.101983_b60) 2018 Kasse (10.1016/j.is.2022.101983_b9) 2018 Decker (10.1016/j.is.2022.101983_b17) 2007 Knuplesch (10.1016/j.is.2022.101983_b20) 2013 Hashmi (10.1016/j.is.2022.101983_b24) 2018; 57 Fdhila (10.1016/j.is.2022.101983_b18) 2016 Fellmann (10.1016/j.is.2022.101983_b42) 2014 Knuplesch (10.1016/j.is.2022.101983_b35) 2013 Elgammal (10.1016/j.is.2022.101983_b32) 2016; 15 Tosatto (10.1016/j.is.2022.101983_b25) 2019; 6 van der Aalst (10.1016/j.is.2022.101983_b15) 2008 Bischoff (10.1016/j.is.2022.101983_b16) 2019 Montali (10.1016/j.is.2022.101983_b34) 2010; 102 Mendling (10.1016/j.is.2022.101983_b2) 2018; 9 10.1016/j.is.2022.101983_b61 Comuzzi (10.1016/j.is.2022.101983_b64) 2017; 11 Fdhila (10.1016/j.is.2022.101983_b6) 2015 Maggi (10.1016/j.is.2022.101983_b43) 2011 Knuplesch (10.1016/j.is.2022.101983_b28) 2013 Tosatto (10.1016/j.is.2022.101983_b30) 2019 Knuplesch (10.1016/j.is.2022.101983_b13) 2017; 64 Ramezani (10.1016/j.is.2022.101983_b31) 2012 Kasse (10.1016/j.is.2022.101983_b53) 2019 Zaman (10.1016/j.is.2022.101983_b7) 2020; 1 Brambilla (10.1016/j.is.2022.101983_b50) 2005 Matschinske (10.1016/j.is.2022.101983_b37) 2021 Hildebrandt (10.1016/j.is.2022.101983_b58) 2013; 82 Decker (10.1016/j.is.2022.101983_b39) 2007 Awad (10.1016/j.is.2022.101983_b26) 2011; 22 Duan (10.1016/j.is.2022.101983_b49) 2018; 95 Montali (10.1016/j.is.2022.101983_b55) 2017 Berry (10.1016/j.is.2022.101983_b57) 2005; 14 Schunselaar (10.1016/j.is.2022.101983_b12) 2012 Kwantes (10.1016/j.is.2022.101983_b44) 2015 Ly (10.1016/j.is.2022.101983_b46) 2015; 54 Knuplesch (10.1016/j.is.2022.101983_b1) 2013 González (10.1016/j.is.2022.101983_b51) 2018 Knuplesch (10.1016/j.is.2022.101983_b54) 2015 van der Aalst (10.1016/j.is.2022.101983_b59) 2013 Goedertier (10.1016/j.is.2022.101983_b66) 2006 Ciccio (10.1016/j.is.2022.101983_b29) 2017; 64 Comuzzi (10.1016/j.is.2022.101983_b63) 2014 Weske (10.1016/j.is.2022.101983_b41) 2019 Montali (10.1016/j.is.2022.101983_b45) 2014; 5 Meroni (10.1016/j.is.2022.101983_b10) 2018; 73 Knuplesch (10.1016/j.is.2022.101983_b22) 2019 Montali (10.1016/j.is.2022.101983_b33) 2010; 4 10.1016/j.is.2022.101983_b11 Yao (10.1016/j.is.2022.101983_b62) 2014 |
| References_xml | – reference: W. Fdhila, S. Rinderle-Ma, D. Knuplesch, M. Reichert, Decomposition-based verification of global compliance in process choreographies, in: 24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, 2020, pp. 5–8, (2020) 77-86. – start-page: 305 year: 2007 end-page: 319 ident: b39 article-title: Local enforceability in interaction petri nets publication-title: 5th Int Conference on Business Process Management (BPM 2007) – volume: 102 start-page: 325 year: 2010 end-page: 361 ident: b34 article-title: Abductive logic programming as an effective technology for the static verification of declarative business processes publication-title: Fundam. Informaticae – volume: 82 start-page: 164 year: 2013 end-page: 185 ident: b58 article-title: Contracts for cross-organizational workflows as timed dynamic condition response graphs publication-title: J. Log. Algebr. Methods Program. – start-page: 221 year: 2015 end-page: 236 ident: b44 article-title: Towards compliance verification between global and local process models publication-title: Graph Transformation – start-page: 146 year: 2013 end-page: 154 ident: b35 article-title: On enabling compliance of cross-organizational business processes publication-title: BPM – volume: 16 start-page: 715 year: 2017 end-page: 736 ident: b21 article-title: A visual language for modeling multiple perspectives of business process compliance rules publication-title: Softw. Syst. Model. – start-page: 8 year: 2014 end-page: 17 ident: b52 article-title: Towards a compliance-aware inter-organizational service integration platform publication-title: On the Move to Meaningful Internet Systems: OTM 2014 Workshops – volume: 4 start-page: 1 year: 2010 end-page: 62 ident: b33 article-title: Declarative specification and verification of service choreographiess publication-title: ACM Trans. Web. – start-page: 345 year: 2014 end-page: 374 ident: b62 article-title: Accountability-based compliance control of collaborative business processes in cloud systems publication-title: Security, Privacy and Trust in Cloud Systems – start-page: 462 year: 2019 end-page: 478 ident: b16 article-title: Generation and transformation of compliant process collaboration models to BPMN publication-title: Advanced Information Systems Engineering – volume: 62 start-page: 361 year: 2020 end-page: 377 ident: b38 article-title: Collection and elicitation of business process compliance patterns with focus on data aspects publication-title: Bus. Inf. Syst. Eng. – start-page: 348 year: 2016 end-page: 364 ident: b18 article-title: Classification and formalization of instance-spanning constraints in process-driven applications publication-title: BPM – start-page: 5 year: 2006 end-page: 14 ident: b66 article-title: Designing compliant business processes with obligations and permissions publication-title: BPM’06 Workshops – start-page: 304 year: 2013 end-page: 320 ident: b47 article-title: Diagnostic information for compliance checking of temporal compliance requirements publication-title: Advanced Information Systems Engineering – start-page: 307 year: 2013 end-page: 313 ident: b59 article-title: Reflections on a decade of interorganizational workflow research publication-title: Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE – reference: F. Muram, H. Tran, U. Zdun, Automated mapping of uml activity diagrams to formal specifications for supporting containment checking, in: 11th Int Workshop on Formal Engineering Approaches to Software Components and Architectures, 2014, pp. 93—107. – start-page: 166 year: 2014 end-page: 183 ident: b63 article-title: Aligning monitoring and compliance requirements in evolving business networks publication-title: On the Move to Meaningful Internet Systems: OTM 2014 Conferences – start-page: 327 year: 2012 end-page: 342 ident: b12 article-title: Patterns for a log-based strengthening of declarative compliance models publication-title: Integrated Formal Methods – volume: 9 start-page: 4:1 year: 2018 end-page: 4:16 ident: b2 article-title: Blockchains for business process management - challenges and opportunities publication-title: ACM Trans. Manag. Inf. Syst. – start-page: 133 year: 2013 end-page: 142 ident: b28 article-title: Ensuring compliance of distributed and collaborative workflows publication-title: CollaborateCom’13 – volume: 89 year: 2020 ident: b36 article-title: Discovering instance and process spanning constraints from process execution logs publication-title: Inf. Syst. – volume: 18 start-page: 429 year: 2016 end-page: 455 ident: b19 article-title: Normative requirements for regulatory compliance: An abstract formal framework publication-title: Inf. Syst. Frontiers – volume: 6 start-page: 963 year: 2019 end-page: 998 ident: b25 article-title: Efficient full compliance checking of concurrent components for business process models publication-title: FLAP – start-page: 259 year: 2019 end-page: 270 ident: b53 article-title: Verifying for compliance to data constraints in collaborative business processes publication-title: PRO-VE – volume: 54 start-page: 209 year: 2015 end-page: 234 ident: b46 article-title: Compliance monitoring in business processes: Functionalities, application, and tool-support publication-title: Inf. Syst. – volume: 64 start-page: 381 year: 2017 end-page: 409 ident: b13 article-title: A framework for visually monitoring business process compliance publication-title: Inf. Syst. – volume: 49 start-page: 1 year: 2015 end-page: 24 ident: b14 article-title: Dealing with change in process choreographies: Design and implementation of propagation algorithms publication-title: Inf. Sys. – volume: 57 start-page: 79 year: 2018 end-page: 133 ident: b24 article-title: Are we done with business process compliance: state of the art and challenges ahead publication-title: Knowl. Inf. Syst. – start-page: 119 year: 2019 end-page: 138 ident: b30 article-title: Checking regulatory compliance: Will we live to see it? publication-title: Business Process Management – reference: O. Oyekola, L. Xu, Verification and compliance in collaborative processes, in: Boosting Collaborative Networks 4.0-21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November (2020) 23-25, Proceedings. 2020, pp. 213-223. – volume: 36 start-page: 292 year: 2011 end-page: 312 ident: b40 article-title: Interaction-centric modeling of process choreographies publication-title: Inf. Syst. – year: 2019 ident: b22 article-title: Enabling Multi-Perspective Business Process Compliance – start-page: 81 year: 2007 end-page: 95 ident: b17 article-title: Behavioral consistency for B2B process integration publication-title: CAiSE’07 – volume: 11 start-page: 884 year: 2017 end-page: 908 ident: b64 article-title: Alignment of process compliance and monitoring requirements in dynamic business collaborations publication-title: Enterprise Inf. Syst. – volume: 15 start-page: 119 year: 2016 end-page: 146 ident: b32 article-title: Formalizing and appling compliance patterns for business process compliance publication-title: Softw. Syst. Model. – volume: 14 start-page: 131 year: 2005 end-page: 179 ident: b57 article-title: Extending choreography with business contract constraints publication-title: Int’L J. Cooper. Inf. Syst. – volume: 73 start-page: 61 year: 2018 end-page: 78 ident: b10 article-title: Multi-party business process compliance monitoring through iot-enabled artifacts publication-title: Inf. Syst. – year: 2021 ident: b37 article-title: The featurecloud ai store for federated learning in biomedicine and beyond – reference: F. Corradini, A. Morichetta, A. Polini, B. Re, F. Tiezzi, Collaboration vs. choreography conformance in bpmn 2.0: From theory to practice, in: IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC 2018), 2018, pp. 95-104. – start-page: 557 year: 2005 end-page: 568 ident: b50 article-title: The role of visual tools in a web application design and verification framework: A visual notation for ltl formulae publication-title: Web Engineering – start-page: 94 year: 2015 end-page: 107 ident: b54 article-title: Detecting the effects of changes on the compliance of cross-organizational business processes publication-title: ER’15 – start-page: 722 year: 2018 end-page: 730 ident: b51 article-title: A comprehensive approach to compliance management in inter-organizational service integration platforms publication-title: ICSOFT – volume: 5 start-page: 221 year: 2012 end-page: 247 ident: b27 article-title: Generalizability and applicability of model-based business process compliance-checking approaches - a state-of-the-art analysis and research roadmap publication-title: Bus Res. – start-page: 217 year: 2018 end-page: 229 ident: b9 article-title: The need for compliance verification in collaborative business processes publication-title: PRO-VE – year: 2018 ident: b60 article-title: Foundational aspects of contract compliance and choreography conformance publication-title: The Rise and Rise of the Declarative Datacentre – start-page: 162 year: 2015 end-page: 169 ident: b6 article-title: Change and compliance in collaborative processes publication-title: SCC – start-page: 179 year: 2017 end-page: 195 ident: b55 article-title: Iot-based compliance checking of multi-party business processes modeled with commitments publication-title: 6th European Conference on Service-Oriented and Cloud Computing(ESOCC) – volume: 95 start-page: 703 year: 2018 end-page: 715 ident: b49 article-title: Enforcing compliance of hierarchical business process with visual security constraints publication-title: Int. J. Syst. Assur. Eng. Manag. – volume: 22 start-page: 30 year: 2011 end-page: 55 ident: b26 article-title: Visually specifying compliance rules and explaining their violations for business, processes publication-title: J. Vis. Lang. Comput. – volume: 5 start-page: 17.1 year: 2014 end-page: 17.30 ident: b45 article-title: Monitoring business constraints with the event calculus publication-title: Trans. Intell. Syst. Tech. – volume: 88 start-page: 1 year: 2016 end-page: 17 ident: b5 article-title: Detecting flight trajectory anomalies and predicting diversions in freight transportation publication-title: Decis. Support Syst. – volume: 64 start-page: 425 year: 2017 end-page: 446 ident: b29 article-title: Resolving inconsistencies and redundancies in declarative process models publication-title: Inf. Syst. – start-page: 262 year: 2012 end-page: 278 ident: b31 article-title: Where did i misbehave? Diagnostic information in compliance checking publication-title: BPM’12 – start-page: 139 year: 2008 end-page: 153 ident: b15 article-title: From public views to private views – correctness-by-design for services publication-title: WS-FM’08 – start-page: 1880 year: 2019 end-page: 1891 ident: b3 article-title: Business process compliance and blockchain: How does the ethereum blockchain address challenges of business process compliance? publication-title: Human Practice. Digital Ecologies. Our Future. 14 – volume: 81 start-page: 220 year: 2019 end-page: 235 ident: b4 article-title: Event-based failure prediction in distributed business processes publication-title: Inf. Syst. – start-page: 649 year: 2013 end-page: 661 ident: b1 article-title: Towards compliance of cross-organizational processes and their changes publication-title: BPM Workshops – year: 2019 ident: b41 publication-title: Business Process Management - Concepts, Languages, Architectures – start-page: 132 year: 2011 end-page: 147 ident: b43 article-title: Monitoring business constraints with linear temporal logic: an approach based on colored automata publication-title: BPM – year: 2013 ident: b23 article-title: On the formal semantics of the extended compliance rule graph – start-page: 287 year: 2007 end-page: 300 ident: b65 article-title: DECLARE: full support for loosely-structured processes publication-title: EDOC – volume: 1 start-page: 210 year: 2020 ident: b7 article-title: On enabling GDPR compliance in business processes through data-driven solutions publication-title: SN Comput. Sci. – year: 2014 ident: b42 article-title: State-of-the-art of business process compliance approaches publication-title: ECIS – volume: 26 start-page: 377 year: 2018 end-page: 409 ident: b56 article-title: On legal contracts, imperative and declarative smart contracts, and blockchain systems publication-title: Artif. Intell. Law – start-page: 106 year: 2013 end-page: 120 ident: b20 article-title: Visual modeling of business process compliance rules with the support of multiple perspectives publication-title: ER’13 – volume: 64 start-page: 425 year: 2017 ident: 10.1016/j.is.2022.101983_b29 article-title: Resolving inconsistencies and redundancies in declarative process models publication-title: Inf. Syst. doi: 10.1016/j.is.2016.09.005 – volume: 54 start-page: 209 year: 2015 ident: 10.1016/j.is.2022.101983_b46 article-title: Compliance monitoring in business processes: Functionalities, application, and tool-support publication-title: Inf. Syst. doi: 10.1016/j.is.2015.02.007 – volume: 81 start-page: 220 year: 2019 ident: 10.1016/j.is.2022.101983_b4 article-title: Event-based failure prediction in distributed business processes publication-title: Inf. Syst. doi: 10.1016/j.is.2017.12.005 – volume: 64 start-page: 381 year: 2017 ident: 10.1016/j.is.2022.101983_b13 article-title: A framework for visually monitoring business process compliance publication-title: Inf. Syst. doi: 10.1016/j.is.2016.10.006 – year: 2018 ident: 10.1016/j.is.2022.101983_b60 article-title: Foundational aspects of contract compliance and choreography conformance – start-page: 166 year: 2014 ident: 10.1016/j.is.2022.101983_b63 article-title: Aligning monitoring and compliance requirements in evolving business networks – year: 2013 ident: 10.1016/j.is.2022.101983_b23 – start-page: 5 year: 2006 ident: 10.1016/j.is.2022.101983_b66 article-title: Designing compliant business processes with obligations and permissions – year: 2021 ident: 10.1016/j.is.2022.101983_b37 – year: 2019 ident: 10.1016/j.is.2022.101983_b22 – volume: 1 start-page: 210 issue: 4 year: 2020 ident: 10.1016/j.is.2022.101983_b7 article-title: On enabling GDPR compliance in business processes through data-driven solutions publication-title: SN Comput. Sci. doi: 10.1007/s42979-020-00215-x – volume: 6 start-page: 963 issue: 5 year: 2019 ident: 10.1016/j.is.2022.101983_b25 article-title: Efficient full compliance checking of concurrent components for business process models publication-title: FLAP – start-page: 462 year: 2019 ident: 10.1016/j.is.2022.101983_b16 article-title: Generation and transformation of compliant process collaboration models to BPMN – volume: 88 start-page: 1 year: 2016 ident: 10.1016/j.is.2022.101983_b5 article-title: Detecting flight trajectory anomalies and predicting diversions in freight transportation publication-title: Decis. Support Syst. doi: 10.1016/j.dss.2016.05.004 – volume: 5 start-page: 17.1 issue: 1 year: 2014 ident: 10.1016/j.is.2022.101983_b45 article-title: Monitoring business constraints with the event calculus publication-title: Trans. Intell. Syst. Tech. – start-page: 722 year: 2018 ident: 10.1016/j.is.2022.101983_b51 article-title: A comprehensive approach to compliance management in inter-organizational service integration platforms – volume: 11 start-page: 884 issue: 6 year: 2017 ident: 10.1016/j.is.2022.101983_b64 article-title: Alignment of process compliance and monitoring requirements in dynamic business collaborations publication-title: Enterprise Inf. Syst. doi: 10.1080/17517575.2015.1135482 – volume: 18 start-page: 429 issue: 3 year: 2016 ident: 10.1016/j.is.2022.101983_b19 article-title: Normative requirements for regulatory compliance: An abstract formal framework publication-title: Inf. Syst. Frontiers doi: 10.1007/s10796-015-9558-1 – volume: 5 start-page: 221 issue: 2 year: 2012 ident: 10.1016/j.is.2022.101983_b27 article-title: Generalizability and applicability of model-based business process compliance-checking approaches - a state-of-the-art analysis and research roadmap publication-title: Bus Res. doi: 10.1007/BF03342739 – start-page: 221 year: 2015 ident: 10.1016/j.is.2022.101983_b44 article-title: Towards compliance verification between global and local process models – ident: 10.1016/j.is.2022.101983_b61 doi: 10.1109/EDOC.2018.00022 – volume: 57 start-page: 79 issue: 1 year: 2018 ident: 10.1016/j.is.2022.101983_b24 article-title: Are we done with business process compliance: state of the art and challenges ahead publication-title: Knowl. Inf. Syst. doi: 10.1007/s10115-017-1142-1 – volume: 14 start-page: 131 issue: 2–3 year: 2005 ident: 10.1016/j.is.2022.101983_b57 article-title: Extending choreography with business contract constraints publication-title: Int’L J. Cooper. Inf. Syst. doi: 10.1142/S0218843005001109 – start-page: 557 year: 2005 ident: 10.1016/j.is.2022.101983_b50 article-title: The role of visual tools in a web application design and verification framework: A visual notation for ltl formulae – volume: 82 start-page: 164 issue: 5–7 year: 2013 ident: 10.1016/j.is.2022.101983_b58 article-title: Contracts for cross-organizational workflows as timed dynamic condition response graphs publication-title: J. Log. Algebr. Methods Program. doi: 10.1016/j.jlap.2013.05.005 – start-page: 162 year: 2015 ident: 10.1016/j.is.2022.101983_b6 article-title: Change and compliance in collaborative processes – start-page: 345 year: 2014 ident: 10.1016/j.is.2022.101983_b62 article-title: Accountability-based compliance control of collaborative business processes in cloud systems – volume: 22 start-page: 30 issue: 1 year: 2011 ident: 10.1016/j.is.2022.101983_b26 article-title: Visually specifying compliance rules and explaining their violations for business, processes publication-title: J. Vis. Lang. Comput. doi: 10.1016/j.jvlc.2010.11.002 – volume: 62 start-page: 361 issue: 4 year: 2020 ident: 10.1016/j.is.2022.101983_b38 article-title: Collection and elicitation of business process compliance patterns with focus on data aspects publication-title: Bus. Inf. Syst. Eng. doi: 10.1007/s12599-019-00594-3 – volume: 73 start-page: 61 year: 2018 ident: 10.1016/j.is.2022.101983_b10 article-title: Multi-party business process compliance monitoring through iot-enabled artifacts publication-title: Inf. Syst. doi: 10.1016/j.is.2017.12.009 – volume: 49 start-page: 1 year: 2015 ident: 10.1016/j.is.2022.101983_b14 article-title: Dealing with change in process choreographies: Design and implementation of propagation algorithms publication-title: Inf. Sys. doi: 10.1016/j.is.2014.10.004 – start-page: 262 year: 2012 ident: 10.1016/j.is.2022.101983_b31 article-title: Where did i misbehave? Diagnostic information in compliance checking – start-page: 119 year: 2019 ident: 10.1016/j.is.2022.101983_b30 article-title: Checking regulatory compliance: Will we live to see it? – start-page: 305 year: 2007 ident: 10.1016/j.is.2022.101983_b39 article-title: Local enforceability in interaction petri nets – start-page: 133 year: 2013 ident: 10.1016/j.is.2022.101983_b28 article-title: Ensuring compliance of distributed and collaborative workflows – ident: 10.1016/j.is.2022.101983_b8 doi: 10.1007/978-3-030-62412-5_18 – start-page: 304 year: 2013 ident: 10.1016/j.is.2022.101983_b47 article-title: Diagnostic information for compliance checking of temporal compliance requirements – start-page: 1880 year: 2019 ident: 10.1016/j.is.2022.101983_b3 article-title: Business process compliance and blockchain: How does the ethereum blockchain address challenges of business process compliance? – volume: 9 start-page: 4:1 issue: 1 year: 2018 ident: 10.1016/j.is.2022.101983_b2 article-title: Blockchains for business process management - challenges and opportunities publication-title: ACM Trans. Manag. Inf. Syst. doi: 10.1145/3183367 – start-page: 139 year: 2008 ident: 10.1016/j.is.2022.101983_b15 article-title: From public views to private views – correctness-by-design for services – start-page: 8 year: 2014 ident: 10.1016/j.is.2022.101983_b52 article-title: Towards a compliance-aware inter-organizational service integration platform – start-page: 348 year: 2016 ident: 10.1016/j.is.2022.101983_b18 article-title: Classification and formalization of instance-spanning constraints in process-driven applications – volume: 36 start-page: 292 issue: 2 year: 2011 ident: 10.1016/j.is.2022.101983_b40 article-title: Interaction-centric modeling of process choreographies publication-title: Inf. Syst. doi: 10.1016/j.is.2010.06.005 – start-page: 106 year: 2013 ident: 10.1016/j.is.2022.101983_b20 article-title: Visual modeling of business process compliance rules with the support of multiple perspectives – year: 2014 ident: 10.1016/j.is.2022.101983_b42 article-title: State-of-the-art of business process compliance approaches – start-page: 81 year: 2007 ident: 10.1016/j.is.2022.101983_b17 article-title: Behavioral consistency for B2B process integration – volume: 89 year: 2020 ident: 10.1016/j.is.2022.101983_b36 article-title: Discovering instance and process spanning constraints from process execution logs publication-title: Inf. Syst. doi: 10.1016/j.is.2019.101484 – start-page: 132 year: 2011 ident: 10.1016/j.is.2022.101983_b43 article-title: Monitoring business constraints with linear temporal logic: an approach based on colored automata – volume: 102 start-page: 325 issue: 3–4 year: 2010 ident: 10.1016/j.is.2022.101983_b34 article-title: Abductive logic programming as an effective technology for the static verification of declarative business processes publication-title: Fundam. Informaticae doi: 10.3233/FI-2010-310 – start-page: 649 year: 2013 ident: 10.1016/j.is.2022.101983_b1 article-title: Towards compliance of cross-organizational processes and their changes – year: 2019 ident: 10.1016/j.is.2022.101983_b41 – start-page: 287 year: 2007 ident: 10.1016/j.is.2022.101983_b65 article-title: DECLARE: full support for loosely-structured processes – ident: 10.1016/j.is.2022.101983_b11 doi: 10.1109/EDOC49727.2020.00019 – volume: 95 start-page: 703 issue: 1 year: 2018 ident: 10.1016/j.is.2022.101983_b49 article-title: Enforcing compliance of hierarchical business process with visual security constraints publication-title: Int. J. Syst. Assur. Eng. Manag. doi: 10.1007/s13198-017-0653-1 – start-page: 94 year: 2015 ident: 10.1016/j.is.2022.101983_b54 article-title: Detecting the effects of changes on the compliance of cross-organizational business processes – start-page: 217 year: 2018 ident: 10.1016/j.is.2022.101983_b9 article-title: The need for compliance verification in collaborative business processes – ident: 10.1016/j.is.2022.101983_b48 doi: 10.4204/EPTCS.147.7 – volume: 26 start-page: 377 issue: 4 year: 2018 ident: 10.1016/j.is.2022.101983_b56 article-title: On legal contracts, imperative and declarative smart contracts, and blockchain systems publication-title: Artif. Intell. Law doi: 10.1007/s10506-018-9223-3 – start-page: 146 year: 2013 ident: 10.1016/j.is.2022.101983_b35 article-title: On enabling compliance of cross-organizational business processes – volume: 16 start-page: 715 issue: 3 year: 2017 ident: 10.1016/j.is.2022.101983_b21 article-title: A visual language for modeling multiple perspectives of business process compliance rules publication-title: Softw. Syst. Model. doi: 10.1007/s10270-016-0526-0 – volume: 4 start-page: 1 issue: 1 year: 2010 ident: 10.1016/j.is.2022.101983_b33 article-title: Declarative specification and verification of service choreographiess publication-title: ACM Trans. Web. doi: 10.1145/1658373.1658376 – start-page: 179 year: 2017 ident: 10.1016/j.is.2022.101983_b55 article-title: Iot-based compliance checking of multi-party business processes modeled with commitments – start-page: 327 year: 2012 ident: 10.1016/j.is.2022.101983_b12 article-title: Patterns for a log-based strengthening of declarative compliance models – volume: 15 start-page: 119 issue: 1 year: 2016 ident: 10.1016/j.is.2022.101983_b32 article-title: Formalizing and appling compliance patterns for business process compliance publication-title: Softw. Syst. Model. doi: 10.1007/s10270-014-0395-3 – start-page: 259 year: 2019 ident: 10.1016/j.is.2022.101983_b53 article-title: Verifying for compliance to data constraints in collaborative business processes – start-page: 307 year: 2013 ident: 10.1016/j.is.2022.101983_b59 article-title: Reflections on a decade of interorganizational workflow research |
| SSID | ssj0002599 |
| Score | 2.3840425 |
| Snippet | The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 101983 |
| SubjectTerms | Algorithms Business Business process compliance Business rules Collaboration Compliance Compliance management Decomposition Distributed business processes EU membership Global compliance rules Information systems Organizational change Pandemics Process choreography Property Prototypes Regulation Rule decomposition Specification Supply Supply chains Transitivity Valence Verification Visibility |
| Title | Verifying compliance in process choreographies: Foundations, algorithms, and implementation |
| URI | https://dx.doi.org/10.1016/j.is.2022.101983 https://www.proquest.com/docview/2689714523 |
| Volume | 108 |
| WOSCitedRecordID | wos001133975200011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6076 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002599 issn: 0306-4379 databaseCode: AIEXJ dateStart: 19950301 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLZKh9B44FJADAbKA0JC4JGL6wtvE2oFaBQeOqjEQ-RbaKosK1037T_xJ7FjO20nqOCBlyiym4vynR4f2993DgDPOKZUEZ1AxamCiIsEigxhmAoqEZexzjhqik2Q0YhOJuxzp_MzaGEuKlLX9PKSzf8r1KbNgG2ls_8Ad3tT02DODejmaGA3x78C_ot5iBMvObp4owkoGyaWlQS8NP5u4SqfT0tHiFuVVmpA5dX300W5nLpFmGZz4SSwzFsYZ4EB36offVLoZhXXyRDXVhmGalpWTZz61QT-qnXz9fncJpSaXqHX26TaVnVTafiRezJaYcXwbbe2FNYgN6qLUHDUr1-YqW8gaPlFtSCsCb5sxWZqRF0xhjZlohuunI-mJIM4dmVjWice0zU3nPx2cHDrFDNz5wP7IraBuSo6m3m4R5_y4fHRUT4eTMbP5z-gLVFmt_J9vZZrYCclfUa7YOfw_WDyoR34zUySuU0r985-V9zRCTcf-qco6Eo80AQ54zvglp-dRIfOqu6Cjq574EYQR_TA7VAEJPLfsQdurmW0vAe-tdYXrawvKuvIW1-0aX1vojXbexWtLM-c1yratLv74Hg4GL99B339DigzjJZQKkFwwRUhmFEpqWKa6kIppiTG0ubF1FgIxYqUSsYEURxngnMToWtFEEPZA9CtT2v9EES0jzVVSV_QtEA6ZpSlqOBEiiTOpCR8D7wO3zOXPrm9rbFS5YHFOMvLs9wikDsE9sCL9oq5S-yy5bdZgCj3gakLOHNjWluu2g9o5t4_mH5MGUlQP80ebe9-DHZX_5Z90F0uzvUTcF1eLMuzxVNver8A1SC57A |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Verifying+compliance+in+process+choreographies%3A+Foundations%2C+algorithms%2C+and+implementation&rft.jtitle=Information+systems+%28Oxford%29&rft.au=Fdhila%2C+Walid&rft.au=Knuplesch%2C+David&rft.au=Rinderle-Ma%2C+Stefanie&rft.au=Reichert%2C+Manfred&rft.date=2022-09-01&rft.pub=Elsevier+Science+Ltd&rft.issn=0306-4379&rft.eissn=1873-6076&rft.volume=108&rft.spage=1&rft_id=info:doi/10.1016%2Fj.is.2022.101983&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0306-4379&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0306-4379&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0306-4379&client=summon |