Abstract
Port supply chains play a very important role in the process of economic globalization. Lack of trust of the mechanism is the main factor in restricting the development of port supply chains. Blockchains have great potential to solve the trust problem among all participants using port supply chains, which can reduce costs and improve efficiency. As the bridge between blockchains and port supply chains, smart contracts reconstruct the business process of blockchain-empowered port supply chains. In this article, we present an architecture of a consortium blockchain-empowered port supply chain system, and propose a system verification framework for the smart contracts of port supply chains with probabilistic behaviors. The smart contracts are modeled as DTMCs (Discrete-Time Markov Chains), which are automatically transformed through the BPMN (Business Process Model and Notation) description of the smart contracts. The requirements are specified by PCTL (Probabilistic Computation Tree Logic). Moreover, we implement the customs clearance process of the Shanghai Yangshan Port based on blockchain Hyperledger Fabric, and reconstruct the clearance process with smart contracts. We use it to demonstrate the effectiveness of this framework, and identify the smart contracts that do not meet the expected needs of users.
Highlights
With the development of economic globalization, the world economy has increasingly become a closely integrated whole system
We argue that smart contracts are the bridge for application of blockchain technology to port supply chains
We propose a verification framework for the smart contracts of port supply chains with probabilistic behaviors
Summary
With the development of economic globalization, the world economy has increasingly become a closely integrated whole system. Stefania [6] closely follows the current hot sharing economy, integrates smart contracts to systematically improve smart cities and public sectors, manages services such as house leasing, greatly reduces third-party commissions, reduces the risk of fraud, and prevents potential high-end processes. This has a very similar application in the order process of the port supply chain. DTMC is the formal model for analyzing the user requirement properties that the smart contracts should satisfy; it can be automatically generated from the BPMN The requirements, such as safety, reliability and reachability, are specified by PCTL (Probabilistic Computation Tree Logic).
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
