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 104
- Downloads 0
A Copula Statistic for Measuring Nonlinear Dependence with Application to Feature Selection in Machine Learning
Feature selection in machine learning aims to find out the best subset of variables from the input that reduces the computation requirement and improves the predictor performance. In this paper, a new index based on empi...
Optimized Order of Software Testing Techniques in Agile Process – A Systematic Approach
The designing, development of a software product needs lot of efforts whereas software testing is also a very challenging task but it is equally mandatory activity in order to ensure the quality of the product before shi...
Investigate the use of Anchor-Text and of Query-Document Similarity Scores to Predict the Performance of Search Engine
Query difficulty prediction aims to estimate, in advance, whether the answers returned by search engines in response to a query are likely to be useful. This paper proposes new predictors based upon the similarity betwee...
Toward a New Massively Distributed Virtual Machine based Cloud Micro-Services Team Model for HPC: SPMD Applications
This paper aims to propose a new massively distributed virtual machine with scalable and efficient parallel computing models for High Performance Computing (HPC). The message passing paradigm of the Processing Units has...
Intruder Attacks on Wireless Sensor Networks: A Soft Decision and Prevention Mechanism
Because of the wide-ranging of applications in a variety of fields, such as medicine, environmental studies, robotics, warfare and security, and so forth, the research on wireless sensor networks (WSNs) has attracted muc...