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 95
- Downloads 0
An Efficient Distributed Traffic Events Generator for Smart Highways
This paper deals with a spatiotemporal traffic events generator for real highway networks. The goal is to use the event generator to test real-time and batch traffic analysis applications. In this context, we represent a...
Current Trends in Group Key Management
Various network applications require sending data onto one or many members, maintaining security in the large groups is one of the major obstacles for controlling access. Unfortunately, IP multicast is not providing any...
A Low Cost FPGA based Cryptosystem Design for High Throughput Area Ratio
Over many years, Field Programmable Gated Ar-rays (FPGA) have been used as a target device for various prototyping and cryptographic algorithm applications. Due to the parallel architecture of FPGAs, the flexibility of c...
A new optimization based image segmentation method by particle swarm optimization
This paper proposes a new multilevel thresholding method segmenting images based on particle swarm optimization (PSO). In the proposed method, the thresholding problem is treated as an optimization problem, and sol...
A Novel Approach to Rank Text-based Essays using Pagerank Method Towards Student’s Motivational Element
Learning outcomes is one of the important factors to measure student achievement during the learning process. Today’s learning is more focused on problem-solving and reasoning to existing problems than an ordinary proble...