Top

Published in:

2019 | OriginalPaper | Chapter

A Legal Interpretation of Choreography Models

Authors : Jan Ladleif, Mathias Weske

Published in: Business Process Management Workshops

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Model/driven smart contract development approaches are gaining in importance since one of the most popular realizations, blockchain/based smart contracts, are prone to coding errors. However, these modeling approaches predominantly focus on operational aspects of smart contracts, neglecting the legal perspective as manifested by deontic concepts such as obligations or permissions. In this paper, we explore an approach at connecting existing models to Legal Ontologies (LOs) on the example of choreography models, effectively interpreting them as legal contracts. We show how the execution of a choreography imposes sequences of legal states, and discuss consequences and limitations.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Storing and Querying Multi-dimensional Process Event Logs Using Graph Databases

next chapter Provenance Holder: Bringing Provenance, Reproducibility and Trust to Flexible Scientific Workflows and Choreographies

Adamo, G., Borgo, S., Francescomarino, C.D., Ghidini, C., Rospocher, M.: BPMN 2.0 choreography language: interface or business contract? In: Proceedings of the Joint Ontology Workshops 2017 (2017)

Berry, A., Milosevic, Z.: Extending choreography with business contract constraints. Int. J. Coop. Inf. Syst. 14, 131–179 (2005)CrossRef

Breaux, T.D., Vail, M.W., Antón, A.I.: Towards regulatory compliance: extracting rights and obligations to align requirements with regulations. In: IEEE International Conference on Requirements Engineering (RE), pp. 46–55 (2006). https://doi.org/10.1109/RE.2006.68

Casellas, N.: Legal Ontology Engineering: Methodologies, Modelling Trends, and the Ontology of Professional Judicial Knowledge, Law, Governance and Technology, vol. 3. Springer, Cham (2011). https://doi.org/10.1007/978-94-007-1497-7CrossRef

Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. CoRR (2016). http://arxiv.org/abs/1608.00771

Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 5–14. Springer, Heidelberg (2006). https://doi.org/10.1007/11837862_2CrossRef

Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377–409 (2018). https://doi.org/10.1007/s10506-018-9223-3. ISSN 1572-8382CrossRef

Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: IEEE International Enterprise Distributed Object Computing Conference, EDOC, pp. 221–232 (2006)

Griffo, C., Almeida, J.P.A., Guizzardi, G.: Conceptual modeling of legal relations. In: Trujillo, J.C., et al. (eds.) ER 2018. LNCS, vol. 11157, pp. 169–183. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00847-5_14CrossRef

10.

Hoekstra, R., Breuker, J., Di Bello, M., Boer, A.: The LKIF core ontology of basic legal concepts. Int. J. High Perform. Comput. Appl. 321, 43–63 (2007)

11.

Hohfeld, W.N.: Fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 26(8), 710–770 (1917)CrossRef

12.

Kabilan, V.: Contract workflow model patterns using BPMN. In: Proceedings of CAiSE 2005 Workshops, CEUR-WS.org, vol. 363 (2005)

13.

Kabilan, V., Johannesson, P.: Semantic representation of contract knowledge using multi/tier ontology. In: First International Conference on Semantic Web and Databases, pp. 378–397, CEUR-WS.org (2003)

14.

Kõlvart, M., Poola, M., Rull, A.: Smart contracts. In: Kerikmäe, T., Rull, A. (eds.) The Future of Law and eTechnologies, pp. 133–147. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-26896-5_7CrossRef

15.

Ladleif, J., Weske, M., Weber, I.: Modeling and enforcing blockchain-based choreographies. In: Hildebrandt, T., van Dongen, B.F., Röglinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 69–85. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26619-6_7CrossRef

16.

Mendling, J., Weber, I., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manag. Inf. Syst. (TMIS) 9(1), 4:1–4:16 (2018). https://doi.org/10.1145/3183367. ISSN 2158–656XCrossRef

17.

Milosevic, Z., Sadiq, S., Orlowska, M.: Translating business contract into compliant business processes. In: IEEE International Enterprise Distributed Object Computing Conference, EDOC, pp. 211–220 (2006)

18.

OMG: Business Process Model and Notation (BPMN), Version 2.0.2 (December 2013). http://www.omg.org/spec/BPMN/2.0.2/

19.

Plotkin, G.D.: A Structural Approach to Operational Semantics. Aarhus University Denmark, Computer Science Department (1981)

20.

Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J.: Untrusted business process monitoring and execution using blockchain. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 329–347. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_19CrossRef

21.

Weske, M.: Business Process Management, 2nd edn. Springer, Cham (2012). https://doi.org/10.1007/978-3-642-28616-2CrossRef

Title: A Legal Interpretation of Choreography Models
Authors: Jan Ladleif
Mathias Weske
Publisher: Springer International Publishing
Book: Business Process Management Workshops
Print ISBN: 978-3-030-37452-5

Electronic ISBN: 978-3-030-37453-2

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-37453-2_52

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner