Runtime verification for business processes utilizing the Bitcoin blockchain

Future Generation Computer Systems

Volumn 107, Issue , 2020, Pages 816-831

  Prybila, Christoph ^a   Schulte, Stefan ^a   Hochreiner, Christoph ^a   Weber, Ingo ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b Data61   (Australia)

Author keywords

Blockchain; Business process management; Choreographies; Runtime verification

Indexed keywords

BITCOIN; BLOCKCHAIN; ENTERPRISE RESOURCE MANAGEMENT; SOFTWARE PROTOTYPING;

BUSINESS PROCESS MANAGEMENT; CHOREOGRAPHIES; DECENTRALIZED BUSINESS; EXECUTION MONITORING; PERFORMANCE ANALYSIS; PROCESS INSTANCES; RUN-TIME VERIFICATION; SOFTWARE SOLUTION;

PROCESS CONTROL;

EID: 85028355846     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2017.08.024     Document Type: Article

References (40)

1. Weske, M., Business Process Management: Concepts, Languages, Architectures. second ed., 2012, Springer, 10.1007/978-3-642-28616-2.
2. Breu, R., Dustdar, S., Eder, J., Huemer, C., Kappel, G., Köpke, J., Langer, P., Mangler, J., Mendling, J., Neumann, G., Rinderle-Ma, S., Schulte, S., Sobernig, S., Weber, B., Towards Living Inter-Organizational Processes. 15th IEEE Conference on Business Informatics, 2013, IEEE, 363–366, 10.1109/CBI.2013.59.
3. Leite, L.A.F., Ansaldi Oliva, G., Nogueira, G.M., Gerosa, M.A., Kon, F., Milojicic, D.S., A systematic literature review of service choreography adaptation. Serv. Oriented Comput. Appl. 7:3 (2012), 199–216, 10.1007/s11761-012-0125-z.
4. Schulte, S., Janiesch, C., Venugopal, S., Weber, I., Hoenisch, P., Elastic business process management: State of the art and open challenges for BPM in the cloud. Future Gener. Comput. Syst. 46 (2015), 36–50, 10.1016/j.future.2014.09.005.
5. Norta, A., Ma, L., Duan, Y., Rull, A., Kõlvart, M., Taveter, K., eContractual choreography-language properties towards cross-organizational business collaboration. J. Internet Serv. Appl. 6:8 (2015), 8:1–8:23, 10.1186/s13174-015-0023-7.
6. Baouab, A., Perrin, O., Godart, C., An event-driven approach for runtime verification of inter-organizational choreographies. 2011 IEEE International Conference on Services Computing, 2011, IEEE, 640–647, 10.1109/SCC.2011.55.
7. A Guide To The Project Management Body of Knowledge (PMBOK Guide). fifth ed., 2013, Project Management Institute.
8. Zohar, A., Bitcoin: Under the hood. Commun. ACM 58:9 (2015), 104–113, 10.1145/2701411.
9. Alqassem, I., Svetinovic, D., Towards reference architecture for cryptocurrencies: Bitcoin architectural analysis. 2014 IEEE International Conference on Internet of Things, Green Computing and Communications, and Cyber, Physical and Social Computing, 2014, IEEE, 436–443, 10.1109/iThings.2014.78.
10. Tschorsch, F., Scheuermann, B., Bitcoin and Beyond: A technical survey on decentralized digital currencies. IEEE Commun. Surv. Tutor. 18:3 (2016), 2084–2123, 10.1109/COMST.2016.2535718.
11. Von Riegen, M., Ritter, N., Reliable monitoring for runtime validation of choreographies. 4th International Conference on Internet and Web Applications and Services, 2009, IEEE, 310–315, 10.1109/ICIW.2009.52.
12. Tsai, C.-H., Huang, K.-C., Wang, F.-J., Chen, C.-H., A distributed server architecture supporting dynamic resource provisioning for BPM-oriented workflow management systems. J. Syst. Softw. 83:8 (2010), 1538–1552, 10.1016/j.jss.2010.04.001.
13. Eder, J., Tahamtan, A., Temporal conformance of federated choreographies. 19th International Conference on Database and Expert Systems Applications, 2008, Springer, 668–675, 10.1007/978-3-540-85654-2.57.
14. Ahmed, T., Srivastava, A., Service choreography: Present and future. 2014 IEEE International Conference on Services Computing, 2014, IEEE, 863–864, 10.1109/SCC.2014.126.
15. Wetzstein, B., Karastoyanova, D., Kopp, O., Leymann, F., Zwink, D., Cross-organizational process monitoring based on service choreographies. ACM Symposium on Applied Computing, 2010, ACM, 2485–2490, 10.1145/1774088.1774601.
16. Anseeuw, J., van Seghbroeck, G., Volckaert, B., De Turck, F., BPMN extensions for decentralized execution and monitoring of business processes. 5th International Conference on Cloud Computing and Services Science, 2015, SCITEPRESS, 304–309, 10.5220/0005492303040309.
17. Montagut, F., Molva, R., Bridging security and fault management within distributed workflow management systems. IEEE Trans. Serv. Comput. 1:1 (2008), 33–48, 10.1109/TSC.2008.3.
18. S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, [ONLINE], Accessed: 2017-01-15 (2008).
19. Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J., Untrusted business process monitoring and execution using blockchain. 14th International Conference on Business Process Management, 2016, Springer, 329–347, 10.1007/978-3-319-45348-4.19.
20. Donet Donet, J.A., Pérez-Solà, C., Herrera-Joancomartí, J., The bitcoin P2P network. 18th International Conference on Financial Cryptography and Data Security, 2014, Springer, 87–102, 10.1007/978-3-662-44774-1.7.
21. Salima, B., Ivona, B., Cinzia, C., Manuel, C., Marco, C., Attila, K., Kyriakos, K., Michael, P., Barbara, P., Pierluigi, P., Modeling and negotiating service quality. Mike, P.P., Klaus, P., Michael, P., Andreas, M., (eds.) Service Research Challenges and Solutions for the Future Internet - S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems, 2010, Springer, 157–208, 10.1007/978-3-642-17599-2.6.
22. Bengtsson, A., Westerdahl, L., Secure choreography of cooperating web services. Third IEEE European Conference on Web Services, 2005, IEEE, 152–159, 10.1109/ECOWS.2005.21.
23. Lim, H.W., Kerschbaum, F., Wang, H., Workflow signatures for business process compliance. IEEE Trans. Dependable Secure Comput. 9:5 (2012), 756–769, 10.1109/TDSC.2012.38.
24. Martin, D., Wutke, D., Leymann, F., A novel approach to decentralized workflow enactment. 12th International IEEE Conference on Enterprise Distributed Object Computing, 2008, IEEE, 127–136, 10.1109/EDOC.2008.22.
25. Hwang, G., Kao, Y., Hsiao, Y., Scalable and trustworthy cross-enterprise WfMSs by cloud collaboration. IEEE International Congress on Big Data, 2013, IEEE, 70–77, 10.1109/BigData.Congress.2013.19.
26. J. Mendling, I. Weber, W. M. P. van der Aalst, C. Cabanillas, F. Daniel, S. Debois, C.D. Ciccio, M. Dumas, S. Dustdar, A. Gal, L. Garcia-Banuelos, G. Governatori, R. Hull, M.L. Rosa, H. Leopold, F. Leymann, J. Recker, M. Reichert, H.A. Reijers, S.Rinderle-Ma, A. Rogge-Solti, M. Rosemann, S. Schulte, M.P. Singh, T. Slaats, M. Staples, B. Weber, M. Weidlich, M. Weske, X. Xu, L. Zhu, Blockchains for Business Process Management – Challenges and Opportunities, arXiv report 1704.03610, arXiv (2017).
27. García-Bañuelos, L., Ponomarev, A., Dumas, M., Weber, I., Optimized Execution of Business Processes on Blockchain (forthcoming). 15th International Conference on Business Process Management, 2017.
28. A. Yeow, Bitnodes – Global Bitcoin Nodes Distribution, [ONLINE], Accessed: 2017-01-15 (2016).
29. Decker, C., Wattenhofer, R., Information propagation in the Bitcoin network. 13th IEEE International Conference on Peer-To-Peer Computing, 2013, IEEE, 1–10, 10.1109/P2P.2013.6688704.
30. Sompolinsky, Y., Zohar, A., Secure High-Rate Transaction Processing in Bitcoin. 19th International Conference on Financial Cryptography and Data Security, 2015, Springer, 507–527, 10.1007/978-3-662-47854-7.32.
31. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C., Introduction to Algorithms. third ed., 2009, The MIT Press.
32. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P., Workflow patterns. Distrib. Parallel Databases 14:1 (2003), 5–51, 10.1023/A:1022883727209.
33. Weber, I., Rogge-Solti, A., Li, C., Mendling, J., CCaaS: Online Conformance Checking as a Service. 13th International Conference on Business Process Management (Demos), 2015, CEUR-WS, 45–49.
34. Antonopoulos, A.M., Mastering bitcoin – unlocking digital cryptocurrencies. 2014, O'Reilly Media.
35. Franco, P., Understanding Bitcoin: Cryptography, Engineering and Economics. 2014, Wiley.
36. Fdhila, W., Rinderle-Ma, S., Reichert, M., Change Propagation in Collaborative Processes Scenarios. 8th International Conference on Collaborative Computing, 2012, IEEE, 452–461, 10.4108/icst.collaboratecom.2012.250408.
37. Höfer, C.N., Karagiannis, G., Cloud computing services: Taxonomy and comparison. J. Internet Serv. Appl. 2:2 (2011), 81–94, 10.1007/s13174-011-0027-x.
38. Annette, R.J., Banu, A.W., Chandran, S.P., Rendering-as-a-service: Taxonomy and comparison. Procedia Comput. Sci. 50 (2015), 276–281, 10.1016/j.procs.2015.04.048.
39. Yasaweerasinghelage, R., Staples, M., Weber, I., Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation. IEEE International Conference on Software Architecture, 2017, IEEE, 253–256, 10.1109/ICSA.2017.22.
40. Claes, J., Vanderfeesten, I.T.P., Reijers, H.A., Pinggera, J., Weidlich, M., Zugal, S., Fahland, D., Weber, B., Mendling, J., Poels, G., Tying Process Model Quality to the Modeling Process: The Impact of Structuring, Movement, and Speed. 10th International Conference on Business Process Management, 2012, Springer, 33–48, 10.1007/978-3-642-32885-5.3.