Skip to main content

Dynamic Role Binding in Blockchain-Based Collaborative Business Processes

Part of the Lecture Notes in Computer Science book series (LNISA,volume 11483)

Abstract

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing tools allow such processes to be modeled using high-level notations and compiled into smart contracts that can be deployed on blockchain platforms. However, these tools brush aside the question of who is allowed to execute which tasks in the process, either by deferring the question altogether or by adopting a static approach where all actors are bound to roles upon process instantiation. Yet, a key advantage of blockchains is their ability to support dynamic sets of actors. This paper presents a model for dynamic binding of actors to roles in collaborative processes and an associated binding policy specification language. The proposed language is endowed with a Petri net semantics, thus enabling policy consistency verification. The paper also outlines an approach to compile policy specifications into smart contracts for enforcement. An experimental evaluation shows that the cost of policy enforcement increases linearly with the number of roles and constraints.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-21290-2_25
  • Chapter length: 16 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   89.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-21290-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   119.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.
Fig. 10.
Fig. 11.

Notes

  1. 1.

    Some details (e.g. path expressions to refer to nested subprocesses) are omitted for space reasons and can be found at http://git.io/caterpillar.

  2. 2.

    In Ethereum, gas is linearly related to throughput, see Sect. 2.1. So by answering this question we also indirectly answer the related throughput question.

  3. 3.

    https://github.com/trufflesuite/ganache-cli.

  4. 4.

    Gas price: 5 Gwei, average from https://ethgasstation.info on 30/11/2018.

References

  1. Andrews, T., et al.: BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM (2003)

    Google Scholar 

  2. Bussard, L., Nano, A., Pinsdorf, U.: Delegation of access rights in multi-domain service compositions. Identity Inf. Soc. 2(2), 137–154 (2009)

    CrossRef  Google Scholar 

  3. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. IEEE ICWS 2007, 296–303 (2007)

    Google Scholar 

  4. Frantz, C., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: IEEE FAS*W 2016, pp. 210–215 (2016)

    Google Scholar 

  5. Kloppmann, M., et al.: WS-BPEL extension for people - BPEL4People. Joint white paper, IBM and SAP (2005)

    Google Scholar 

  6. López-Pintado, O., García-Bañuelos, L., Dumas, M., Weber, I., Ponomarev, A.: CATERPILLAR: a business process execution engine on the ethereum blockchain. CoRR abs/1808.03517 (2018)

    Google Scholar 

  7. Mendling, J., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manag. Inf. Syst. 9(1), 4:1–4:16 (2018)

    CrossRef  Google Scholar 

  8. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    CrossRef  Google Scholar 

  9. Pautasso, C., Alonso, G.: Flexible binding for reusable composition of web services. In: Software Composition, pp. 151–166 (2005)

    CrossRef  Google Scholar 

  10. Prybila, C., Schulte, S., Hochreiner, C., Weber, I.: Runtime verification for business processes utilizing the Bitcoin blockchain. Futur. Gener. Comput. Syst. 46, 36–50 (2017)

    Google Scholar 

  11. Robinson, P., Kerschbaum, F., Schaad, A.: From business process choreography to authorization policies. In: Data and Applications Security, pp. 297–309 (2006)

    CrossRef  Google Scholar 

  12. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: CAiSE (2005)

    Google Scholar 

  13. Tran, A., Lu, Q., Weber, I.: Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. Demo Track at BPM 2018, 56–60 (2018)

    Google Scholar 

  14. Wainer, J., Kumar, A., Barthelmess, P.: DW-RBAC: a formal security model of delegation and revocation in workflow systems. Inf. Syst. 32(3), 365–384 (2007)

    CrossRef  Google Scholar 

  15. Xu, X., Weber, I., Staples, M.: Architecture for Blockchain Applications. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-03035-3

    CrossRef  Google Scholar 

Download references

Acknowledgment

This work was funded by the Estonian Research Council (grant IUT20-55) and the European Regional Development Fund (Dora Plus, contract 36.9-6.1/459).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Orlenys López-Pintado .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Verify currency and authenticity via CrossMark

Cite this paper

López-Pintado, O., Dumas, M., García-Bañuelos, L., Weber, I. (2019). Dynamic Role Binding in Blockchain-Based Collaborative Business Processes. In: Giorgini, P., Weber, B. (eds) Advanced Information Systems Engineering. CAiSE 2019. Lecture Notes in Computer Science(), vol 11483. Springer, Cham. https://doi.org/10.1007/978-3-030-21290-2_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-21290-2_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-21289-6

  • Online ISBN: 978-3-030-21290-2

  • eBook Packages: Computer ScienceComputer Science (R0)