TY - CHAP U1 - Konferenzveröffentlichung A1 - Stodt, Jan A1 - Jastremskoj, Eugen A1 - Reich, Christoph A1 - Welte, Dominik A1 - Sikora, Axel T1 - Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology T2 - Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) N2 - Maintenance processes in Industry 4.0 applications try to achieve a high degree of quality to reduce the downtime of machinery. The monitoring of executed maintenance activities is challenging as in complex production setups, multiple stakeholders are involved. So, full transparency of the different activities and of the state of the machine can only be supported, if these stakeholders trust each other. Therefore, distributed ledger technologies, like Blockchain, can be promising candidates for supporting such applications. The goal of this paper is a formal description of business and technical interactions between non-trustful stakeholders in the context of Industry 4.0 maintenance processes using distributed ledger technologies. It also covers the integration of smart contracts for automated triggering of activities. Y1 - 2019 SN - 978-1-7281-4069-8 (digital) SB - 978-1-7281-4069-8 (digital) SN - 978-1-7281-4068-1 (USB) SB - 978-1-7281-4068-1 (USB) SN - 978-1-7281-4070-4 (Print on Demand) SB - 978-1-7281-4070-4 (Print on Demand) U6 - https://doi.org/10.1109/IDAACS.2019.8924382 DO - https://doi.org/10.1109/IDAACS.2019.8924382 VL - 2 SP - 1136 EP - 1141 S1 - 6 PB - IEEE ER -