Andrews, T., et al.: BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM (2003)
Google Scholar
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
Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. IEEE ICWS 2007, 296–303 (2007)
Google Scholar
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
Kloppmann, M., et al.: WS-BPEL extension for people - BPEL4People. Joint white paper, IBM and SAP (2005)
Google Scholar
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
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
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
CrossRef
Google Scholar
Pautasso, C., Alonso, G.: Flexible binding for reusable composition of web services. In: Software Composition, pp. 151–166 (2005)
CrossRef
Google Scholar
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
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
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
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
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
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