Modeling and Enforcing Blockchain-Based Choreographies

Jan Ladleif; Mathias Weske; Ingo Weber

doi:10.1007/978-3-030-26619-6_7

Modeling and Enforcing Blockchain-Based Choreographies

Jan Ladleif, Mathias Weske, Ingo Weber

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

40 Scopus citations

Abstract

Distributed Ledger Technology (DLT) and blockchains in particular have been identified as promising foundations to realize inter-organizational business processes. Capabilities such as shared data and decision logic defined as smart contracts open up entirely new ways to implement process choreographies. However, current choreography modeling languages solely focus on direct interactions between organizations; they do not take into account the conceptually new features of blockchains, like shared data and smart contracts. To bridge the gap between choreography modeling and implementation, this paper critically analyzes the assumptions of choreography languages. We propose new language concepts specifically targeting blockchain capabilities, and we define their operational semantics. Our work is evaluated with a proof-of-concept implementation and an analysis of three real-world case studies from the private and the corporate sectors.

Original language	English
Title of host publication	Business Process Management - 17th International Conference, BPM 2019, Proceedings
Editors	Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling
Publisher	Springer Verlag
Pages	69-85
Number of pages	17
ISBN (Print)	9783030266189
DOIs	https://doi.org/10.1007/978-3-030-26619-6_7
State	Published - 2019
Externally published	Yes
Event	17th International Conference on Business Process Management, BPM 2019 - Vienna, Austria Duration: 1 Sep 2019 → 6 Sep 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11675 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Conference on Business Process Management, BPM 2019
Country/Territory	Austria
City	Vienna
Period	1/09/19 → 6/09/19

Keywords

BPMN
Blockchain
Choreography
Interacting processes

Access to Document

10.1007/978-3-030-26619-6_7

Cite this

Ladleif, J., Weske, M., & Weber, I. (2019). Modeling and Enforcing Blockchain-Based Choreographies. In T. Hildebrandt, B. F. van Dongen, M. Röglinger, & J. Mendling (Eds.), Business Process Management - 17th International Conference, BPM 2019, Proceedings (pp. 69-85). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11675 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-26619-6_7

Ladleif, Jan ; Weske, Mathias ; Weber, Ingo. / Modeling and Enforcing Blockchain-Based Choreographies. Business Process Management - 17th International Conference, BPM 2019, Proceedings. editor / Thomas Hildebrandt ; Boudewijn F. van Dongen ; Maximilian Röglinger ; Jan Mendling. Springer Verlag, 2019. pp. 69-85 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7fd4d10788854c4f9996be7e42db7247,

title = "Modeling and Enforcing Blockchain-Based Choreographies",

abstract = "Distributed Ledger Technology (DLT) and blockchains in particular have been identified as promising foundations to realize inter-organizational business processes. Capabilities such as shared data and decision logic defined as smart contracts open up entirely new ways to implement process choreographies. However, current choreography modeling languages solely focus on direct interactions between organizations; they do not take into account the conceptually new features of blockchains, like shared data and smart contracts. To bridge the gap between choreography modeling and implementation, this paper critically analyzes the assumptions of choreography languages. We propose new language concepts specifically targeting blockchain capabilities, and we define their operational semantics. Our work is evaluated with a proof-of-concept implementation and an analysis of three real-world case studies from the private and the corporate sectors.",

keywords = "BPMN, Blockchain, Choreography, Interacting processes",

author = "Jan Ladleif and Mathias Weske and Ingo Weber",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 17th International Conference on Business Process Management, BPM 2019 ; Conference date: 01-09-2019 Through 06-09-2019",

year = "2019",

doi = "10.1007/978-3-030-26619-6_7",

language = "English",

isbn = "9783030266189",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "69--85",

editor = "Thomas Hildebrandt and {van Dongen}, {Boudewijn F.} and Maximilian R{\"o}glinger and Jan Mendling",

booktitle = "Business Process Management - 17th International Conference, BPM 2019, Proceedings",

}

Ladleif, J, Weske, M & Weber, I 2019, Modeling and Enforcing Blockchain-Based Choreographies. in T Hildebrandt, BF van Dongen, M Röglinger & J Mendling (eds), Business Process Management - 17th International Conference, BPM 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11675 LNCS, Springer Verlag, pp. 69-85, 17th International Conference on Business Process Management, BPM 2019, Vienna, Austria, 1/09/19. https://doi.org/10.1007/978-3-030-26619-6_7

Modeling and Enforcing Blockchain-Based Choreographies. / Ladleif, Jan; Weske, Mathias; Weber, Ingo.
Business Process Management - 17th International Conference, BPM 2019, Proceedings. ed. / Thomas Hildebrandt; Boudewijn F. van Dongen; Maximilian Röglinger; Jan Mendling. Springer Verlag, 2019. p. 69-85 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11675 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling and Enforcing Blockchain-Based Choreographies

AU - Ladleif, Jan

AU - Weske, Mathias

AU - Weber, Ingo

PY - 2019

Y1 - 2019

N2 - Distributed Ledger Technology (DLT) and blockchains in particular have been identified as promising foundations to realize inter-organizational business processes. Capabilities such as shared data and decision logic defined as smart contracts open up entirely new ways to implement process choreographies. However, current choreography modeling languages solely focus on direct interactions between organizations; they do not take into account the conceptually new features of blockchains, like shared data and smart contracts. To bridge the gap between choreography modeling and implementation, this paper critically analyzes the assumptions of choreography languages. We propose new language concepts specifically targeting blockchain capabilities, and we define their operational semantics. Our work is evaluated with a proof-of-concept implementation and an analysis of three real-world case studies from the private and the corporate sectors.

AB - Distributed Ledger Technology (DLT) and blockchains in particular have been identified as promising foundations to realize inter-organizational business processes. Capabilities such as shared data and decision logic defined as smart contracts open up entirely new ways to implement process choreographies. However, current choreography modeling languages solely focus on direct interactions between organizations; they do not take into account the conceptually new features of blockchains, like shared data and smart contracts. To bridge the gap between choreography modeling and implementation, this paper critically analyzes the assumptions of choreography languages. We propose new language concepts specifically targeting blockchain capabilities, and we define their operational semantics. Our work is evaluated with a proof-of-concept implementation and an analysis of three real-world case studies from the private and the corporate sectors.

KW - BPMN

KW - Blockchain

KW - Choreography

KW - Interacting processes

UR - http://www.scopus.com/inward/record.url?scp=85072870926&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-26619-6_7

DO - 10.1007/978-3-030-26619-6_7

M3 - Conference contribution

AN - SCOPUS:85072870926

SN - 9783030266189

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 69

EP - 85

BT - Business Process Management - 17th International Conference, BPM 2019, Proceedings

A2 - Hildebrandt, Thomas

A2 - van Dongen, Boudewijn F.

A2 - Röglinger, Maximilian

A2 - Mendling, Jan

PB - Springer Verlag

T2 - 17th International Conference on Business Process Management, BPM 2019

Y2 - 1 September 2019 through 6 September 2019

ER -

Ladleif J, Weske M, Weber I. Modeling and Enforcing Blockchain-Based Choreographies. In Hildebrandt T, van Dongen BF, Röglinger M, Mendling J, editors, Business Process Management - 17th International Conference, BPM 2019, Proceedings. Springer Verlag. 2019. p. 69-85. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-26619-6_7

Modeling and Enforcing Blockchain-Based Choreographies

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this