Formal Modeling of Smart Contracts for Quality Acceptance in Construction

Abstract

The coding and deployment of smart contracts in the construction industry are challenging because of the gap between the generality of existing modeling approaches for such contracts and the pertinence of business logic to construction management. This research proposes a formal model for smart contracts in the context of quality acceptance in the construction industry to reduce the threshold for applying smart contract technology. First, a conceptual scenario of smart contract-based quality acceptance in construction is analyzed. Second, a finite state machine-based model is proposed to formalize smart contracts for quality acceptance. Lastly, a Hyperledger-based case study is performed to demonstrate the performance of the proposed formal model. This study contributes to the industrial application of formal modeling approaches for smart contracts in the field of construction.