- Julius Köpke, University of Klagenfurt, Austria
- Orlenys López Pintado, University of Tartu, Estonia
Blockchain and distributed ledger technology offer promising opportunities for collaborative information systems and cross-organizational business processes. The underlying distributed consensus mechanisms and the immutability of stored transactions allow new business models without needing trusted third parties. This also makes blockchains a promising operating environment for Smart Contracts in terms of contractual agreements executed by hard and software.
However, these highly welcome properties impose challenges concerning privacy, scalability, and communication with off-chain components. Additionally, code executed on blockchains imposes advanced requirements on correctness since, in the case of errors, no central entity, such as an administrator, can resolve runtime errors. In the worst case, funds are lost forever. Therefore, correctness becomes even more critical than for off-chain applications. This gives additional traction for Conceptual Modeling, Process Modeling, Model-Driven Engineering, Correctness by Design, and Model-Checking approaches. From the data perspective, blockchain-based applications are an exciting source for process mining.