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 94
- Downloads 0
Real-Time Simulation and Analysis of the Induction Machine Performances Operating at Flux Constant
In this paper, we are interested, in a first time, at the study and the implementation of a V/f control for induction machine in real time. After, We are attached to a comparison of the results by simulation and experime...
E-mail use by the faculty members, students and staff of Saudi Arabian and Gulf states Universities
Electronic mail systems (Email) constitute one of the most important communication and business tools that people employ. Email in the workplace can help a business improve its productivity. Many organisations now rely o...
SaaS Level based Middleware Database Integrator Platform
In purpose of data searching acceleration, the fastest data response is the major concern for latest cloud environment. Regarding this, the intellectual decision is to enrich the SaaS level applications. Amongst the SaaS...
Cloud Computing Adoption in Small and Medium- Sized Enterprises (SMEs) of Asia and Africa
Cloud computing is a rapidly emerging technology over the last few years that has abolished the burden of purchasing heavy hardware and licensed software. Cloud computing has been advantageous to Small and Medium-sized E...
Novel Fractional Wavelet Transform with Closed-Form Expression
A new wavelet transform (WT) is introduced based on the fractional properties of the traditional Fourier transform. The new wavelet follows from the fractional Fourier order which uniquely identifies the representation o...