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. 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.
    2. 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.
    3. 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.
    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. 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.
    3. 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.
    4. 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.
    5. 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.
    6. 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.
    7. 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).
    8. 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).
    9. 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.
    10. Pandey, Vivekanand & Pant, Millie & Snasel, Vaclav, 2022. "Blockchain technology in food supply chains: Review and bibliometric analysis," Technology in Society, Elsevier, vol. 69(C).
    11. Evin Özkan & Neda Azizi & Omid Haass, 2021. "Leveraging Smart Contract in Project Procurement through DLT to Gain Sustainable Competitive Advantages," Sustainability, MDPI, vol. 13(23), pages 1-25, December.
    12. Benzidia, Smaïl & Makaoui, Naouel & Subramanian, Nachiappan, 2021. "Impact of ambidexterity of blockchain technology and social factors on new product development: A supply chain and Industry 4.0 perspective," Technological Forecasting and Social Change, Elsevier, vol. 169(C).
    13. Leonardo Fernandes & António Miguel Rosado da Cruz & Estrela Ferreira Cruz & Sérgio Ivan Lopes, 2023. "A Review on Adopting Blockchain and IoT Technologies for Fostering the Circular Economy in the Electrical and Electronic Equipment Value Chain," Sustainability, MDPI, vol. 15(5), pages 1-23, March.
    14. Jhanvi Gupta & Sanskar Jain & Suprava Chakraborty & Vladimir Panchenko & Alexandr Smirnov & Igor Yudaev, 2023. "Advancing Sustainable Energy Transition: Blockchain and Peer-to-Peer Energy Trading in India’s Green Revolution," Sustainability, MDPI, vol. 15(18), pages 1-19, September.
    15. Daeheon Choi & Chune Young Chung & Thou Seyha & Jason Young, 2020. "Factors Affecting Organizations’ Resistance to the Adoption of Blockchain Technology in Supply Networks," Sustainability, MDPI, vol. 12(21), pages 1-37, October.
    16. Dutta, Pankaj & Choi, Tsan-Ming & Somani, Surabhi & Butala, Richa, 2020. "Blockchain technology in supply chain operations: Applications, challenges and research opportunities," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 142(C).
    17. Cédric Vernier & Denis Loeillet & Rallou Thomopoulos & Catherine Macombe, 2021. "Adoption of ICTs in Agri-Food Logistics: Potential and Limitations for Supply Chain Sustainability," Post-Print hal-03280502, HAL.
    18. Geneci da Silva Ribeiro Rocha & Letícia de Oliveira & Edson Talamini, 2021. "Blockchain Applications in Agribusiness: A Systematic Review," Future Internet, MDPI, vol. 13(4), pages 1-16, April.
    19. Yadav, Amit Kumar & Shweta, & Kumar, Dinesh, 2023. "Blockchain technology and vaccine supply chain: Exploration and analysis of the adoption barriers in the Indian context," International Journal of Production Economics, Elsevier, vol. 255(C).
    20. Arman Derakhti & Ernesto D. R. Santibanez Gonzalez & Abbas Mardani, 2023. "Industry 4.0 and Beyond: A Review of the Literature on the Challenges and Barriers Facing the Agri-Food Supply Chain," Sustainability, MDPI, vol. 15(6), pages 1-22, March.

    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.