FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4212912761> ?p ?o ?g. }

• W4212912761 endingPage "19" @default.
• W4212912761 startingPage "19" @default.
• W4212912761 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." @default.
• W4212912761 created "2022-02-24" @default.
• W4212912761 creator A5003402944 @default.
• W4212912761 creator A5023363049 @default.
• W4212912761 creator A5027361366 @default.
• W4212912761 creator A5029962043 @default.
• W4212912761 date "2022-02-16" @default.
• W4212912761 modified "2023-10-06" @default.
• W4212912761 title "Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking" @default.
• W4212912761 cites W2020273103 @default.
• W4212912761 cites W2081245063 @default.
• W4212912761 cites W2605472620 @default.
• W4212912761 cites W2803002029 @default.
• W4212912761 cites W2883310540 @default.
• W4212912761 cites W2900343693 @default.
• W4212912761 cites W2939663913 @default.
• W4212912761 cites W2946233782 @default.
• W4212912761 cites W2951343982 @default.
• W4212912761 cites W2959621153 @default.
• W4212912761 cites W2962170189 @default.
• W4212912761 cites W2963096258 @default.
• W4212912761 cites W2979191315 @default.
• W4212912761 cites W2981518695 @default.
• W4212912761 cites W2994721421 @default.
• W4212912761 cites W2998306639 @default.
• W4212912761 cites W2999510791 @default.
• W4212912761 cites W3003924369 @default.
• W4212912761 cites W3006270948 @default.
• W4212912761 cites W3008773310 @default.
• W4212912761 cites W3014037294 @default.
• W4212912761 cites W3033909971 @default.
• W4212912761 cites W3034103984 @default.
• W4212912761 cites W3034930144 @default.
• W4212912761 cites W3038124938 @default.
• W4212912761 cites W3040285820 @default.
• W4212912761 cites W3045493768 @default.
• W4212912761 cites W3047945658 @default.
• W4212912761 cites W3112901540 @default.
• W4212912761 cites W3118793045 @default.
• W4212912761 cites W3119455763 @default.
• W4212912761 cites W3127279031 @default.
• W4212912761 cites W3128350048 @default.
• W4212912761 cites W3135409708 @default.
• W4212912761 cites W3136600682 @default.
• W4212912761 cites W3138285049 @default.
• W4212912761 cites W3146494093 @default.
• W4212912761 cites W3146907769 @default.
• W4212912761 cites W3148852035 @default.
• W4212912761 cites W3170602251 @default.
• W4212912761 cites W3184810166 @default.
• W4212912761 doi "https://doi.org/10.3390/systems10010019" @default.
• W4212912761 hasPublicationYear "2022" @default.
• W4212912761 type Work @default.
• W4212912761 citedByCount "6" @default.
• W4212912761 countsByYear W42129127612022 @default.
• W4212912761 countsByYear W42129127612023 @default.
• W4212912761 crossrefType "journal-article" @default.
• W4212912761 hasAuthorship W4212912761A5003402944 @default.
• W4212912761 hasAuthorship W4212912761A5023363049 @default.
• W4212912761 hasAuthorship W4212912761A5027361366 @default.
• W4212912761 hasAuthorship W4212912761A5029962043 @default.
• W4212912761 hasBestOaLocation W42129127611 @default.
• W4212912761 hasConcept C108713360 @default.
• W4212912761 hasConcept C111919701 @default.
• W4212912761 hasConcept C112930515 @default.
• W4212912761 hasConcept C119599485 @default.
• W4212912761 hasConcept C127413603 @default.
• W4212912761 hasConcept C144133560 @default.
• W4212912761 hasConcept C154945302 @default.
• W4212912761 hasConcept C162853370 @default.
• W4212912761 hasConcept C195094911 @default.
• W4212912761 hasConcept C2779687700 @default.
• W4212912761 hasConcept C2779950589 @default.
• W4212912761 hasConcept C32802771 @default.
• W4212912761 hasConcept C38652104 @default.
• W4212912761 hasConcept C41008148 @default.
• W4212912761 hasConcept C49937458 @default.
• W4212912761 hasConcept C98045186 @default.
• W4212912761 hasConceptScore W4212912761C108713360 @default.
• W4212912761 hasConceptScore W4212912761C111919701 @default.
• W4212912761 hasConceptScore W4212912761C112930515 @default.
• W4212912761 hasConceptScore W4212912761C119599485 @default.
• W4212912761 hasConceptScore W4212912761C127413603 @default.
• W4212912761 hasConceptScore W4212912761C144133560 @default.
• W4212912761 hasConceptScore W4212912761C154945302 @default.
• W4212912761 hasConceptScore W4212912761C162853370 @default.
• W4212912761 hasConceptScore W4212912761C195094911 @default.
• W4212912761 hasConceptScore W4212912761C2779687700 @default.
• W4212912761 hasConceptScore W4212912761C2779950589 @default.
• W4212912761 hasConceptScore W4212912761C32802771 @default.
• W4212912761 hasConceptScore W4212912761C38652104 @default.
• W4212912761 hasConceptScore W4212912761C41008148 @default.
• W4212912761 hasConceptScore W4212912761C49937458 @default.
• W4212912761 hasConceptScore W4212912761C98045186 @default.
• W4212912761 hasIssue "1" @default.
• W4212912761 hasLocation W42129127611 @default.
• W4212912761 hasLocation W42129127612 @default.
• W4212912761 hasOpenAccess W4212912761 @default.

• next