to build adaptable business applications. In Interna-
tional Conference on Business Process Management.
Cumberlidge, M. (2007). Business process management
with JBoss jBPM. Packt Publishing Ltd.
Di Ciccio, C., Cecconi, A., Dumas, M., Garcia-Ba
˜
nuelos,
L., L
´
opez-Pintado, O., Lu, Q., Mendling, J., Pono-
marev, A., Tran, A. B., and Weber, I. (2019).
Blockchain support for collaborative business pro-
cesses. Informatik Spektrum, pages 1–9.
Dumas, M., La Rosa, M., Mendling, J., Reijers, H. A., et al.
(2013). Fundamentals of business process manage-
ment, volume 1. Springer.
Farah, G., Tejada, J. S., and Correal, D. (2014). Openhub: a
scalable architecture for the analysis of software qual-
ity attributes. In Proceedings of the 11th Working Con-
ference on Mining Software Repositories, pages 420–
423. ACM.
Fernandez, A. (2013). Camunda bpm platform loan assess-
ment process lab. Brisbane, Australia: Queensland
University of Technology.
Fitzgerald, B. (2006). The transformation of open source
software. MIS quarterly, pages 587–598.
Garc
ˆ
es, R., de Jesus, T., Cardoso, J., and Valente, P. (2009).
Open source workflow management systems: a con-
cise survey. GWDL: A graphical workflow definition
language for business workflows. Springer Berlin Hei-
delberg.
Garc
´
ıa-Ba
˜
nuelos, L., Ponomarev, A., Dumas, M., and We-
ber, I. (2017). Optimized execution of business pro-
cesses on blockchain. In International Conference
on Business Process Management, pages 130–146.
Springer.
Hull, R., Batra, V. S., Chen, Y.-M., Deutsch, A., Heath III,
F. F. T., and Vianu, V. (2016). Towards a Shared
Ledger Business Collaboration Language Based on
Data-Aware Processes. In Sheng, Q. Z., Stroulia, E.,
Tata, S., and Bhiri, S., editors, Service-Oriented Com-
puting, volume 9936, pages 18–36. Springer Interna-
tional Publishing, Cham.
Karagiannis, D. (1995). Bpms: business process manage-
ment systems. ACM SIGOIS Bulletin, 16(1):10–13.
L
´
opez-Pintado, O., Garc
´
ıa-Ba
˜
nuelos, L., Dumas, M., We-
ber, I., and Ponomarev, A. (2019). Caterpillar: A
business process execution engine on the ethereum
blockchain. Software: Practice and Experience,
49(7):1162–1193.
Meidan, A., Garc
´
ıa-Garc
´
ıa, J. A., Escalona, M., and Ramos,
I. (2017). A survey on business processes man-
agement suites. Computer Standards & Interfaces,
51:71–86.
Mendling, J., Dustdar, S., Gal, A., Garc
´
ıa-Ba
˜
nuelos, L.,
Governatori, G., Hull, R., Rosa, M. L., Leopold, H.,
Leymann, F., Recker, J., Reichert, M., Weber, I., Rei-
jers, H. A., Rinderle-Ma, S., Solti, A., Rosemann,
M., Schulte, S., Singh, M. P., Slaats, T., Staples, M.,
Weber, B., Weidlich, M., Aalst, W. V. D., Weske,
M., Xu, X., Zhu, L., Brocke, J. V., Cabanillas, C.,
Daniel, F., Debois, S., Ciccio, C. D., and Dumas, M.
(2018). Blockchains for Business Process Manage-
ment - Challenges and Opportunities. ACM Trans-
actions on Management Information Systems, 9(1):1–
16.
Meroni, G., Plebani, P., and Vona, F. (2019). Trusted
artifact-driven process monitoring of multi-party busi-
ness processes with blockchain. In International Con-
ference on Business Process Management, pages 55–
70. Springer.
Murata, T. (1989). Petri nets: Properties, analysis and ap-
plications. Proceedings of the IEEE, 77(4):541–580.
Nakamoto, S. (2009). Bitcoin: A peer-to-peer electronic
cash system. Technical report.
Peters, G. W. and Panayi, E. (2016). Understanding modern
banking ledgers through blockchain technologies: Fu-
ture of transaction processing and smart contracts on
the internet of money. In Banking Beyond Banks and
Money, pages 239–278. Springer.
Prusty, N. (2017). Building Blockchain Projects. Packt Pub-
lishing Ltd.
Prybila, C., Schulte, S., Hochreiner, C., and Weber, I.
(2017). Runtime Verification for Business Processes
Utilizing the Bitcoin Blockchain. Future Genera-
tion Computer Systems, page S0167739X1731837X.
arXiv: 1706.04404.
Rademakers, T. (2012). Activiti in Action: Executable busi-
ness processes in BPMN 2.0. Manning Publications
Co.
Smirnov, A., Sheremetov, L., and Teslya, N. (2019). Fuzzy
cooperative games usage in smart contracts for dy-
namic robot coalition formation: Approach and use
case description.
Szabo, N. (1994). Smart contracts. Unpublished
manuscript.
van Der Aalst, W. M. (2009). Workflow patterns. Encyclo-
pedia of Database Systems, pages 3557–3558.
Van Der Aalst, W. M. and Ter Hofstede, A. H. (2005). Yawl:
yet another workflow language. Information systems,
30(4):245–275.
Viriyasitavat, W., Da Xu, L., Bi, Z., and Sapsomboon, A.
(2018). Blockchain-based business process manage-
ment (BPM) framework for service composition in in-
dustry 4.0. Journal of Intelligent Manufacturing.
Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev,
A., and Mendling, J. (2016). Untrusted Business Pro-
cess Monitoring and Execution Using Blockchain. In
La Rosa, M., Loos, P., and Pastor, O., editors, Busi-
ness Process Management, volume 9850, pages 329–
347. Springer International Publishing, Cham.
Exploring Blockchain Technology to Improve Multi-party Relationship in Business Process Management Systems
825