IDEAS home Printed from https://ideas.repec.org/a/gam/jsusta/v14y2022i21p14202-d958823.html
   My bibliography  Save this article

Blockchain-Based Formal Model for Food Supply Chain Management System Using VDM-SL

Author

Listed:
  • Hira Hameed

    (Department of Computer Science, COMSATS University Islamabad, Sahiwal Campus, Sahiwal 57000, Pakistan)

  • Nazir Ahmad Zafar

    (Department of Computer Science, COMSATS University Islamabad, Sahiwal Campus, Sahiwal 57000, Pakistan)

  • Eman H. Alkhammash

    (Department of Computer Science, College of Computers and Information Technology, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia)

  • Myriam Hadjouni

    (Department of Computer Sciences, College of Computer and Information Science, Princess Nourah bint Abdulrahman University, P.O. Box 84428, Riyadh 11671, Saudi Arabia)

Abstract

In modern society, the food supply chain management system has become an important research area realized nationally and internationally, which has established a collaborative relationship between producers, manufacturers, processors and retailers. Now, consumers are more interested in food quality, safety and the authentication of the products. Food safety has become an important issue in public health in the food market because people of all types and races around the world are affected due its poor quality. The traditional supply chains are centralized and face different issues such as lack of transparency, accountability and audit ability. The general issues in supply chain management include lack of communication, trust among the stakeholders, and interference of entities and wastage of food. A lot of work has been completed by researchers to address the above issues, but still, there is a need for effective mechanisms for the modeling of supply chain management systems. In this paper, a trusted, self-organized, traceable formal system based on blockchain and Internet of Things (IoT) is developed by using wireless sensors networks and finite automata. In the proposed model, smart contracts are designed to assure the automated payment procedures. The proposed model reduced the need for centralized authority. Unified Modeling Language (UML) is used to realize the requirements, and automata is used to capture behavior of the system. A blockchain-based model is used to provides the privacy and security mechanism for the transitions record. Wireless sensors are used to sense the information, and actors are used for decision making in case of any violation in the contact. A lot of work has been completed by researchers on smart contracts. Different smart contracts are designed to achieve the better traceability among producers, transporter/logistics and consumers. Our system provides the smart contract algorithm to show the interaction of entities in the food supply chain management system. Vienna Development Method-Specification Language (VDM-SL) is used to describe the formal system and the VDM-SL toolbox is used for the validation and analysis of the system.

Suggested Citation

  • Hira Hameed & Nazir Ahmad Zafar & Eman H. Alkhammash & Myriam Hadjouni, 2022. "Blockchain-Based Formal Model for Food Supply Chain Management System Using VDM-SL," Sustainability, MDPI, vol. 14(21), pages 1-24, October.
    • Handle: RePEc:gam:jsusta:v:14:y:2022:i:21:p:14202-:d:958823
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2071-1050/14/21/14202/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2071-1050/14/21/14202/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Sotiris P. Gayialis & Evripidis P. Kechagias & Georgios A. Papadopoulos & Nikolaos A. Panayiotou, 2022. "A Business Process Reference Model for the Development of a Wine Traceability System," Sustainability, MDPI, vol. 14(18), pages 1-23, September.
    2. Chang, Shuchih Ernest & Chen, Yi-Chian & Lu, Ming-Fang, 2019. "Supply chain re-engineering using blockchain technology: A case of smart contract based tracking process," Technological Forecasting and Social Change, Elsevier, vol. 144(C), pages 1-11.
    3. Jacopo Grecuccio & Edoardo Giusto & Fabio Fiori & Maurizio Rebaudengo, 2020. "Combining Blockchain and IoT: Food-Chain Traceability and Beyond," Energies, MDPI, vol. 13(15), pages 1-19, July.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Vincenzo Varriale & Antonello Cammarano & Francesca Michelino & Mauro Caputo, 2021. "Sustainable Supply Chains with Blockchain, IoT and RFID: A Simulation on Order Management," Sustainability, MDPI, vol. 13(11), pages 1-23, June.
    2. Huo, Dongyang & Malik, Asad Waqar & Ravana, Sri Devi & Rahman, Anis Ur & Ahmedy, Ismail, 2024. "Mapping smart farming: Addressing agricultural challenges in data-driven era," Renewable and Sustainable Energy Reviews, Elsevier, vol. 189(PA).
    3. Su, Dan & Zhang, Lijun & Peng, Hua & Saeidi, Parvaneh & Tirkolaee, Erfan Babaee, 2023. "Technical challenges of blockchain technology for sustainable manufacturing paradigm in Industry 4.0 era using a fuzzy decision support system," Technological Forecasting and Social Change, Elsevier, vol. 188(C).
    4. Liu Jiaguo & Zhang Huimin & Zhao Huida, 2021. "Blockchain Technology Investment and Sharing Strategy of Port Supply Chain Under Competitive Environment," Journal of Systems Science and Information, De Gruyter, vol. 9(3), pages 280-309, June.
    5. Teck Ming Tan & Saila Saraniemi, 2023. "Trust in blockchain-enabled exchanges: Future directions in blockchain marketing," Journal of the Academy of Marketing Science, Springer, vol. 51(4), pages 914-939, July.
    6. Shuchih Ernest Chang & Hueimin Louis Luo & YiChian Chen, 2019. "Blockchain-Enabled Trade Finance Innovation: A Potential Paradigm Shift on Using Letter of Credit," Sustainability, MDPI, vol. 12(1), pages 1-16, December.
    7. Kangning Zheng & Zuopeng Zhang & Jeffrey Gauthier, 2022. "RETRACTED ARTICLE: Blockchain-based intelligent contract for factoring business in supply chains," Annals of Operations Research, Springer, vol. 308(1), pages 777-797, January.
    8. Ji Jiang & Jin Chen, 2021. "Framework of Blockchain-Supported E-Commerce Platform for Small and Medium Enterprises," Sustainability, MDPI, vol. 13(15), pages 1-14, July.
    9. Zheng, Shiyuan & Jiang, Changmin, 2024. "Consortium blockchain in Shipping: Impacts on industry and social welfare," Transportation Research Part A: Policy and Practice, Elsevier, vol. 183(C).
    10. Friedman, Nicola & Ormiston, Jarrod, 2022. "Blockchain as a sustainability-oriented innovation?: Opportunities for and resistance to Blockchain technology as a driver of sustainability in global food supply chains," Technological Forecasting and Social Change, Elsevier, vol. 175(C).
    11. Niloofar Etemadi & Pieter Van Gelder & Fernanda Strozzi, 2021. "An ISM Modeling of Barriers for Blockchain/Distributed Ledger Technology Adoption in Supply Chains towards Cybersecurity," Sustainability, MDPI, vol. 13(9), pages 1-28, April.
    12. Summer K. Mohamed & Sandra Haddad & Mahmoud Barakat & Bojan Rosi, 2023. "Blockchain Technology Adoption for Improved Environmental Supply Chain Performance: The Mediation Effect of Supply Chain Resilience, Customer Integration, and Green Customer Information Sharing," Sustainability, MDPI, vol. 15(10), pages 1-20, May.
    13. Abderahman Rejeb & John G. Keogh & Suhaiza Zailani & Horst Treiblmaier & Karim Rejeb, 2020. "Blockchain Technology in the Food Industry: A Review of Potentials, Challenges and Future Research Directions," Logistics, MDPI, vol. 4(4), pages 1-26, October.
    14. Francesco Mercuri & Gaetano della Corte & Federica Ricci, 2021. "Blockchain Technology and Sustainable Business Models: A Case Study of Devoleum," Sustainability, MDPI, vol. 13(10), pages 1-14, May.
    15. Sarker, Indranil & Datta, Bidisha, 2022. "Re-designing the pension business processes for achieving technology-driven reforms through blockchain adoption: A proposed architecture," Technological Forecasting and Social Change, Elsevier, vol. 174(C).
    16. Oguntegbe, Kunle Francis & Di Paola, Nadia & Vona, Roberto, 2022. "Behavioural antecedents to blockchain implementation in agrifood supply chain management: A thematic analysis," Technology in Society, Elsevier, vol. 68(C).
    17. Beaulieu, Martin & Bentahar, Omar, 2021. "Digitalization of the healthcare supply chain: A roadmap to generate benefits and effectively support healthcare delivery," Technological Forecasting and Social Change, Elsevier, vol. 167(C).
    18. Limin Zhang & Fei Gu & Mingke He, 2024. "The Influence of Digital Transformation on the Reconfigurability and Performance of Supply Chains: A Study of the Electronic, Machinery, and Home Appliance Manufacturing Industries in China," Sustainability, MDPI, vol. 16(7), pages 1-22, March.
    19. Chin-Ling Chen & Wan-Bing Zhan & Der-Chen Huang & Ling-Chun Liu & Yong-Yuan Deng & Chin-Guo Kuo, 2023. "Hyperledger Fabric-Based Tea Supply Chain Production Data Traceable Scheme," Sustainability, MDPI, vol. 15(18), pages 1-25, September.
    20. Pandey, Vivekanand & Pant, Millie & Snasel, Vaclav, 2022. "Blockchain technology in food supply chains: Review and bibliometric analysis," Technology in Society, Elsevier, vol. 69(C).

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jsusta:v:14:y:2022:i:21:p:14202-:d:958823. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.