Analysis and Formal Model of RFID-Based Patient Registration System
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 11
Abstract
Patient Registration System (PRS) is an important part of hospital environment. Therefore, semiformal model of Patient Registration System that registers the patients by assigning Radio Frequency Identification (RFID) card or bracelet is presented in this paper. The existing Patient Registration Systems do not properly work due to ambiguities and semiformal modeling techniques. However, that is why we will propose formal modeling for PRS using Vienna Development Method (VDM-SL). Firstly, we develop the Unified Modeling Language (UML) based semiformal model of PRS because UML is used for better understanding of the system architecture. Formal methods are used to ensure accuracy and robustness of the system. Therefore, we transform the UML based model into formal model by writing formal specification of the system to improve accuracy and efficiency of PRS. In this way, development time, testing and maintenance cost in building RFID based PRS software is reduced to a great extent.
Authors and Affiliations
Marrium Khalid, Hamra Afzaal, Shoaib Hassan, Nazir Ahmad Zafar
Keywords
Related Articles
- EP ID EP241872
- DOI 10.14569/IJACSA.2017.081160
- Views 103
- Downloads 0
Cross-Layer-Based Adaptive Traffic Control Protocol for Bluetooth Wireless Networks
Bluetooth technology is particularly designed for a wireless personal area network that is low cost and less energy consuming. Efficient transmission between different Bluetooth nodes depends on network formation. An ine...
Translation of the Mutation Operator from Genetic Algorithms to Evolutionary Ontologies
Recently introduced, evolutionary ontologies rep-resent a new concept as a combination of genetic algorithms and ontologies. We have defined a new framework comprising a set of parameters required for any evolutionary al...
Secure Medical Images Sharing over Cloud Computing environment
Nowadays, many applications have been appeared due to the rapid development in the term of telecommunication. One of these applications is the telemedicine where the patients' digital data can transfer between the doctor...
Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering
The traditional methods in remote sensing used for monitoring and estimating pollutants are generally relied on the spectral response or scattering reflected from water. In this work, a new method has been proposed to fi...
Sentiment Analysis, Visualization and Classification of Summarized News Articles: A Novel Approach
Due to advancement in technology, enormous amount of data is generated every day. One of the main challenges of large amount of data is user overloaded with huge volume of data. Hence effective methods are highly require...