research-article

Runtime verification for business processes utilizing the Bitcoin blockchain

Authors:

Christoph Prybila,

Stefan Schulte,

Christoph Hochreiner,

Ingo WeberAuthors Info & Claims

Volume 107, Issue C

Pages 816 - 831

https://doi.org/10.1016/j.future.2017.08.024

Published: 01 June 2020 Publication History

Abstract

The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime. Nevertheless, it is necessary to monitor and verify process instances during runtime for purposes of documentation, accounting, or compensation.

To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the process participants. Furthermore, the prototype is evaluated in a performance analysis.

Highlights

•

Usage of the (Bitcoin) blockchain to establish trust in processes.

•

Development of a blockchain-based runtime verification approach.

•

Evaluation of the prototype in a qualitative comparison and a performance analysis.

References

[1]

Weske M., Business Process Management: Concepts, Languages, Architectures, second ed., Springer, 2012,.

[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, in: 15th IEEE Conference on Business Informatics, IEEE, 2013, pp. 363–366,.

Digital Library

[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,.

Digital Library

[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,.

Digital Library

[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,.

[6]

Baouab A., Perrin O., Godart C., An event-driven approach for runtime verification of inter-organizational choreographies, in: 2011 IEEE International Conference on Services Computing, IEEE, 2011, pp. 640–647,.

Digital Library

[7]

A Guide To The Project Management Body of Knowledge (PMBOK Guide), fifth ed., Project Management Institute, 2013.

[8]

Zohar A., Bitcoin: Under the hood, Commun. ACM 58 (9) (2015) 104–113,.

Digital Library

[9]

Alqassem I., Svetinovic D., Towards reference architecture for cryptocurrencies: Bitcoin architectural analysis, in: 2014 IEEE International Conference on Internet of Things, Green Computing and Communications, and Cyber, Physical and Social Computing, IEEE, 2014, pp. 436–443,.

Digital Library

[10]

Tschorsch F., Scheuermann B., Bitcoin and Beyond: A technical survey on decentralized digital currencies, IEEE Commun. Surv. Tutor. 18 (3) (2016) 2084–2123,.

Digital Library

[11]

Von Riegen M., Ritter N., Reliable monitoring for runtime validation of choreographies, in: 4th International Conference on Internet and Web Applications and Services, IEEE, 2009, pp. 310–315,.

Digital Library

[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,.

Digital Library

[13]

Eder J., Tahamtan A., Temporal conformance of federated choreographies, in: 19th International Conference on Database and Expert Systems Applications, Springer, 2008, pp. 668–675,.

[14]

Ahmed T., Srivastava A., Service choreography: Present and future, in: 2014 IEEE International Conference on Services Computing, IEEE, 2014, pp. 863–864,.

Digital Library

[15]

Wetzstein B., Karastoyanova D., Kopp O., Leymann F., Zwink D., Cross-organizational process monitoring based on service choreographies, in: ACM Symposium on Applied Computing, ACM, 2010, pp. 2485–2490,.

Digital Library

[16]

Anseeuw J., van Seghbroeck G., Volckaert B., De Turck F., BPMN extensions for decentralized execution and monitoring of business processes, in: 5th International Conference on Cloud Computing and Services Science, SCITEPRESS, 2015, pp. 304–309,.

[17]

Montagut F., Molva R., Bridging security and fault management within distributed workflow management systems, IEEE Trans. Serv. Comput. 1 (1) (2008) 33–48,.

Digital Library

[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, in: 14th International Conference on Business Process Management, Springer, 2016, pp. 329–347,.

[20]

Donet Donet J.A., Pérez-Solà C., Herrera-Joancomartí J., The bitcoin P2P network, in: 18th International Conference on Financial Cryptography and Data Security, Springer, 2014, pp. 87–102,.

[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, in: 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, Springer, 2010, pp. 157–208,.

[22]

Bengtsson A., Westerdahl L., Secure choreography of cooperating web services, in: Third IEEE European Conference on Web Services, IEEE, 2005, pp. 152–159,.

Digital Library

[23]

Lim H.W., Kerschbaum F., Wang H., Workflow signatures for business process compliance, IEEE Trans. Dependable Secure Comput. 9 (5) (2012) 756–769,.

Digital Library

[24]

Martin D., Wutke D., Leymann F., A novel approach to decentralized workflow enactment, in: 12th International IEEE Conference on Enterprise Distributed Object Computing, IEEE, 2008, pp. 127–136,.

Digital Library

[25]

Hwang G., Kao Y., Hsiao Y., Scalable and trustworthy cross-enterprise WfMSs by cloud collaboration, in: IEEE International Congress on Big Data, IEEE, 2013, pp. 70–77,.

Digital Library

[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), in: 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, in: 13th IEEE International Conference on Peer-To-Peer Computing, IEEE, 2013, pp. 1–10,.

[30]

Sompolinsky Y., Zohar A., Secure High-Rate Transaction Processing in Bitcoin, in: 19th International Conference on Financial Cryptography and Data Security, Springer, 2015, pp. 507–527,.

[31]

Cormen T.H., Leiserson C.E., Rivest R.L., Stein C., Introduction to Algorithms, third ed., The MIT Press, 2009.

[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,.

Digital Library

[33]

Weber I., Rogge-Solti A., Li C., Mendling J., CCaaS: Online Conformance Checking as a Service, in: 13th International Conference on Business Process Management (Demos), CEUR-WS, 2015, pp. 45–49.

[34]

Antonopoulos A.M., Mastering bitcoin – unlocking digital cryptocurrencies, O’Reilly Media, 2014.

[35]

Franco P., Understanding Bitcoin: Cryptography, Engineering and Economics, Wiley, 2014.

[36]

Fdhila W., Rinderle-Ma S., Reichert M., Change Propagation in Collaborative Processes Scenarios, in: 8th International Conference on Collaborative Computing, IEEE, 2012, pp. 452–461,.

Digital Library

[37]

Höfer C.N., Karagiannis G., Cloud computing services: Taxonomy and comparison, J. Internet Serv. Appl. 2 (2) (2011) 81–94,.

[38]

Annette R.J., Banu A.W., Chandran S.P., Rendering-as-a-service: Taxonomy and comparison, Procedia Comput. Sci. 50 (2015) 276–281,.

[39]

Yasaweerasinghelage R., Staples M., Weber I., Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation, in: IEEE International Conference on Software Architecture, IEEE, 2017, pp. 253–256,.

[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, in: 10th International Conference on Business Process Management, Springer, 2012, pp. 33–48,.

Cited By

Altaf AIqbal FLatif RYakubu BLatif SSamiullah H(2023)A Survey of Blockchain TechnologySocial Science Computer Review10.1177/0894439322111014841:5(1941-1962)Online publication date: 1-Oct-2023
https://dl.acm.org/doi/10.1177/08944393221110148
Stiehle FWeber I(2023)Process Channels: A New Layer for Process Enactment Based on Blockchain State ChannelsBusiness Process Management10.1007/978-3-031-41620-0_12(198-215)Online publication date: 11-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-41620-0_12
López-Pintado ODumas MGarcía-Bañuelos LWeber I(2022)Controlled flexibility in blockchain-based collaborative business processesInformation Systems10.1016/j.is.2020.101622104:COnline publication date: 1-Feb-2022
https://dl.acm.org/doi/10.1016/j.is.2020.101622
Show More Cited By

Index Terms

Runtime verification for business processes utilizing the Bitcoin blockchain
1. General and reference

Index terms have been assigned to the content through auto-classification.

Recommendations

Asynchronous Runtime Verification of Business Processes
CICSYN '15: Proceedings of the 2015 7th International Conference on Computational Intelligence, Communication Systems and Networks

The authors propose a runtime verification mechanism for business processes. This mechanism allows verifying the correctness of business process execution and it runs in parallel with the base processes affecting them insignificantly. The authors have ...
Runtime Monitoring Processes Across Blockchains
Fundamentals of Software Engineering
Abstract
Business processes have been long researched, with many tools, languages, and diagrammatic notations having been developed for automation. Recently, distributed ledger technology (of which Blockchain is one type) has been proposed for use in the ...
Mastering Bitcoin: The Secret Tips on Making Money Through Bitcoin Mining and Investment

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Future Generation Computer Systems

Future Generation Computer Systems Volume 107, Issue C

Jun 2020

1155 pages

ISSN:0167-739X

Issue’s Table of Contents

Elsevier B.V.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 June 2020

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Altaf AIqbal FLatif RYakubu BLatif SSamiullah H(2023)A Survey of Blockchain TechnologySocial Science Computer Review10.1177/0894439322111014841:5(1941-1962)Online publication date: 1-Oct-2023
https://dl.acm.org/doi/10.1177/08944393221110148
Stiehle FWeber I(2023)Process Channels: A New Layer for Process Enactment Based on Blockchain State ChannelsBusiness Process Management10.1007/978-3-031-41620-0_12(198-215)Online publication date: 11-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-41620-0_12
López-Pintado ODumas MGarcía-Bañuelos LWeber I(2022)Controlled flexibility in blockchain-based collaborative business processesInformation Systems10.1016/j.is.2020.101622104:COnline publication date: 1-Feb-2022
https://dl.acm.org/doi/10.1016/j.is.2020.101622
Sober MSigwart MFrauenthaler PSpanring CKobelt MSchulte S(2022)Decentralized cross-blockchain asset transfers with transfer confirmationCluster Computing10.1007/s10586-022-03737-626:4(2129-2146)Online publication date: 15-Sep-2022
https://dl.acm.org/doi/10.1007/s10586-022-03737-6
Wu WPeng HLi LStanley HWang LKurths J(2022)A Novel Intelligent Ant Colony System Based on BlockchainAdvances in Swarm Intelligence10.1007/978-3-031-09677-8_20(230-246)Online publication date: 15-Jul-2022
https://dl.acm.org/doi/10.1007/978-3-031-09677-8_20
Evermann JKim H(2021)Workflow Management on Proof-of-Work Blockchains: Implications and RecommendationsSN Computer Science10.1007/s42979-020-00387-62:1Online publication date: 19-Jan-2021
https://dl.acm.org/doi/10.1007/s42979-020-00387-6
Henry TBrahem ALaga NHatin JGaaloul WBenatallah B(2021)Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative ChoreographiesService-Oriented Computing10.1007/978-3-030-91431-8_6(81-96)Online publication date: 22-Nov-2021
https://dl.acm.org/doi/10.1007/978-3-030-91431-8_6
Wamba SQueiroz M(2020)Blockchain in the operations and supply chain managementInternational Journal of Information Management: The Journal for Information Professionals10.1016/j.ijinfomgt.2019.10206452:COnline publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1016/j.ijinfomgt.2019.102064
Krejci SSigwart MSchulte S(2020)Blockchain- and IPFS-Based Data Distribution for the Internet of ThingsService-Oriented and Cloud Computing10.1007/978-3-030-44769-4_14(177-191)Online publication date: 28-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-44769-4_14
Hughes LDwivedi YMisra SRana NRaghavan VAkella V(2019)Blockchain research, practice and policyInternational Journal of Information Management: The Journal for Information Professionals10.1016/j.ijinfomgt.2019.02.00549:C(114-129)Online publication date: 1-Dec-2019
https://dl.acm.org/doi/10.1016/j.ijinfomgt.2019.02.005
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents