Non-Deterministic Formal Modeling of Registration System towards Smart Campus

Rehman, Aniqa; Latif, Saba; Zafar, Nazir Ahmad

doi:10.1109/macs.2018.8628373

Cited by 10 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The author of this paper used VDM-SL for validation and the Unified Modeling Language for requirements. The authors in [50] proposed the registration system, which is based on ubiquitous computing, and this system is modeled by a unified modeling language, NFA and VDM-SL. A different operation is discussed in this paper.…”

Section: Possibility Of Manual Input Errorsmentioning

confidence: 99%

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

et al. 2022

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Possibility Of Manual Input Errorsmentioning

confidence: 99%

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

et al. 2022

Self Cite

View full text Add to dashboard Cite

show abstract

“…Rehman et al [209] modeled the registration system of a smart campus using Unified Modeling Language (UML) sequence diagram, Non-Deterministic Finite Automata (NFA) and Vienna Development Method Specification Language (VDM-SL). The model is efficient and automated and has many components and operations for managing students' records.…”

Section: E Authenticationmentioning

confidence: 99%

Smart Campuses: Extensive Review of the Last Decade of Research and Current Challenges

et al. 2021

View full text Add to dashboard Cite

Novel intelligent systems to assist the energy transition and improve sustainability and people's life can be deployed at different scales, ranging from a house to an entire region. University campuses are an interesting intermediate size (big enough to matter and small enough to be tractable) for research, development, test and training on the integration of smartness at all levels, which led to the emergence of the concept of "smart campus" over the last few years. This review article proposes an extensive analysis of the scientific literature on smart campuses from the last decade (2010-2020). The 182 selected publications are distributed into seven categories of smartness: smart building, smart environment, smart mobility, smart living, smart people, smart governance and smart data. The main open questions and challenges regarding smart campuses are presented at the end of the review and deal with sustainability and energy transition, acceptability and ethics, learning models, open data policies and interoperability. The present work was carried out within the framework of the Energy Network of the Regional Leaders Summit (RLS-Energy) as part of its multilateral research efforts on smart regions.

show abstract

Trustworthy smart city systems using refinement and Event-B Theories

Alkhammash

2021

Multimed Tools Appl

View full text Add to dashboard Cite

Non-Deterministic Formal Modeling of Registration System towards Smart Campus

Cited by 10 publications

References 17 publications

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

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

Smart Campuses: Extensive Review of the Last Decade of Research and Current Challenges

Trustworthy smart city systems using refinement and Event-B Theories

Contact Info

Product

Resources

About