Enriching Smart Contracts with Temporal Aspects

Fournier, Fabiana; Skarbovsky, Inna

doi:10.1007/978-3-030-23404-1_9

Cited by 6 publications

(15 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The key to the traceability of cold chain medicines is to ensure that cold chain medicines are transported within the validity period. As shown in Figure 3(h), Fabiana Fournier [25] proposed a solution based on Composter and Fabric. The temperature of the medicine is collected by the sensor on the container and uploaded to the Hyperledger through REST APIS.…”

Section: A Application In the Field Of Medicines Traceabilitymentioning

confidence: 99%

Application of Hyperledger in the Hospital Information Systems: A Survey

2021

View full text Add to dashboard Cite

Hyperledger is considered to be the most mature consortium chain technology. Compared with other blockchain technologies, Hyperledger focuses on the application development of enterprise-level standards. Due to its unique permission management, fine-grained access control, pluggable consensus algorithm and higher transaction performance, Hyperledger has been increasingly used in the hospital information systems. Although there are more and more applications of Hyperledger in the field of health care, there is currently no research to comprehensively classify and compare them. This article obtained the latest 222 articles related to Hyperledger from the of Web of science, Wordlib, and EBSCO databases. And this article used manual method to filter out the literates needed for this review. This article had comprehensively analyzed and compared the above literature, then summarized four research directions related to hospital information systems, including medical drug traceability, medical records, medical images and other medical fields (financial benefits, medical insurance, medical system performance and dynamic processing). Through in-depth analysis of all solutions, this article reconstructed the architecture diagrams of each solution that focus on Hyperledger, and showed the most intuitive comparison results. In addition, we summarized each solution, and analyzed their implementation form four aspects, including traceability, monitoring, security and privacy. Finally, the future opportunities and prospects were discussed. Four potential medical research directions of Hyperledger in DNA research, pathological image sharing, protein folding calculation and machine learning had been identified. Finally, this article discussed the opportunities and prospects for the future of hospital information systems, and summarized the applications of Hyperledger in four potential directions, including DNA research, pathological image sharing, protein folding calculation and machine learning.

show abstract

Section: A Application In the Field Of Medicines Traceabilitymentioning

confidence: 99%

Application of Hyperledger in the Hospital Information Systems: A Survey

2021

View full text Add to dashboard Cite

show abstract

“…In different Industry 4.0 scenarios, timing is essential; for example, in certain IoTequipped environments. These use-cases require smart contracts to fulfill real-time requirements to satisfy timing constraints and prevent inconsistencies or conflicts (Fournier and Skarbovsky, 2019). This need for speed results in the necessity for performant equipment, networks and the willingness to pay higher fees for fast smart contract execution, e.g., in the form of performance-related "gas prices" on Ethereum (Rosic, 2017).…”

Section: Economic Environmental and Social Aspects Of Smart Contract Implementation Along The Supply Chainmentioning

confidence: 99%

Smart Contracts for Sustainable Supply Chain Management: Conceptual Frameworks for Supply Chain Maturity Evaluation and Smart Contract Sustainability Assessment

2021

View full text Add to dashboard Cite

Current research on smart contracts focuses on technical, conceptual, and legal aspects but neglects organizational requirements and sustainability impacts. We consider this a significant research gap and explore the relationship between smart contracts and sustainability in supply chains. First, we define the concept of smart contracts in terms of supply chain management. Then, we conduct a content analysis of the literature to explore the overlapping research fields of smart contracts and sustainability in supply chains. Next, we develop a semi-structured assessment framework to model the potential environmental and social impacts induced by smart contracts on supply chains. We propose a conceptual framework for supply chain maturity by mapping the relationships between organizational development, sustainability, and technology. We identify smart contracts as a foundational technology that enables efficient and transparent governance and collaborative self-coordination of human and non-human actors. Thus, we argue that smart contracts can contribute to the economic and social development of networked value chains and Society 5.0. To stimulate interdisciplinary research on smart contracts, we conclude the article by formulating research propositions and trade-offs for smart contracts in the context of technology development, business process and supply chain management, and sustainability.

show abstract

“…Tracking. Supply chain is named to be one of the most suitable use cases for permissioned blockchains [81]. A supply chain typically involves several interacting parties responsible for production, transportation, and sales.…”

Section: Assetmentioning

confidence: 99%

“…Another common requirement for supply chain contracts defines the acceptable transportation conditions, mainly, restrictions on the temperature [81] and humidity [204,225]. The authors of [204,225] transfer the contract into a failed state if a critical reading is received, while Fournier et al [81] report a violation if the amount of such readings exceeds a threshold within an hour.…”

Section: Assetmentioning

confidence: 99%

“…Since the ERC20 standard specifies the events emitted by contract functions, several techniques perform compliance checking considering events too [58,98]. Events emitted by a smart contract during its execution are analyzed for compliance with business rules by Fournier et al [81] and Molina-Jimenez et al [146]. The former specification ensures acceptable transportation conditions in a supply chain use case, while the latter encodes clauses of a selling contract in terms of parties' responsibilities.…”

Section: Program-level Specificationmentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Smart Contract Formal Specification and Verification

Tolmach

Lin

et al. 2020

Preprint

View full text Add to dashboard Cite

A smart contract is a computer program which allows users to define and execute transactions automatically on top of the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal and medical services, there is a strong demand for verification and validation techniques. Yet, the vast majority of smart contracts lack any kind of formal specification, which is essential for establishing their correctness. In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview in order to understand the common trends. We also discuss the current approaches used in verifying such property specifications and identify gaps with the hope to recognize promising directions for future work.

show abstract

Enriching Smart Contracts with Temporal Aspects

Cited by 6 publications

References 8 publications

Application of Hyperledger in the Hospital Information Systems: A Survey

Application of Hyperledger in the Hospital Information Systems: A Survey

Smart Contracts for Sustainable Supply Chain Management: Conceptual Frameworks for Supply Chain Maturity Evaluation and Smart Contract Sustainability Assessment

A Survey of Smart Contract Formal Specification and Verification

Contact Info

Product

Resources

About