The Science and Information (SAI) Organization
  • Home
  • About Us
  • Journals
  • Conferences
  • Contact Us

Publication Links

  • IJACSA
  • Author Guidelines
  • Publication Policies
  • Digital Archiving Policy
  • Promote your Publication
  • Metadata Harvesting (OAI2)

IJACSA

  • About the Journal
  • Call for Papers
  • Editorial Board
  • Author Guidelines
  • Submit your Paper
  • Current Issue
  • Archives
  • Indexing
  • Fees/ APC
  • Reviewers
  • Apply as a Reviewer

IJARAI

  • About the Journal
  • Archives
  • Indexing & Archiving

Special Issues

  • Home
  • Archives
  • Proposals
  • Guest Editors
  • SUSAI-EE 2025
  • ICONS-BA 2025
  • IoT-BLOCK 2025

Future of Information and Communication Conference (FICC)

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Computing Conference

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Intelligent Systems Conference (IntelliSys)

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Future Technologies Conference (FTC)

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact
  • Home
  • Call for Papers
  • Editorial Board
  • Guidelines
  • Submit
  • Current Issue
  • Archives
  • Indexing
  • Fees
  • Reviewers
  • Subscribe

DOI: 10.14569/IJACSA.2017.081160
PDF

Analysis and Formal Model of RFID-Based Patient Registration System

Author 1: Marrium Khalid
Author 2: Hamra Afzaal
Author 3: Shoaib Hassan
Author 4: Nazir Ahmad Zafar

International Journal of Advanced Computer Science and Applications(IJACSA), Volume 8 Issue 11, 2017.

  • Abstract and Keywords
  • How to Cite this Article
  • {} BibTeX Source

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.

Keywords: Patient registration system; Radio Frequency Identification (RFID); bracelet; formal method; semiformal modeling; verification

Marrium Khalid, Hamra Afzaal, Shoaib Hassan and Nazir Ahmad Zafar, “Analysis and Formal Model of RFID-Based Patient Registration System” International Journal of Advanced Computer Science and Applications(IJACSA), 8(11), 2017. http://dx.doi.org/10.14569/IJACSA.2017.081160

@article{Khalid2017,
title = {Analysis and Formal Model of RFID-Based Patient Registration System},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2017.081160},
url = {http://dx.doi.org/10.14569/IJACSA.2017.081160},
year = {2017},
publisher = {The Science and Information Organization},
volume = {8},
number = {11},
author = {Marrium Khalid and Hamra Afzaal and Shoaib Hassan and Nazir Ahmad Zafar}
}



Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.

IJACSA

Upcoming Conferences

IntelliSys 2025

28-29 August 2025

  • Amsterdam, The Netherlands

Future Technologies Conference 2025

6-7 November 2025

  • Munich, Germany

Healthcare Conference 2026

21-22 May 2026

  • Amsterdam, The Netherlands

Computing Conference 2026

9-10 July 2026

  • London, United Kingdom

IntelliSys 2026

3-4 September 2026

  • Amsterdam, The Netherlands

Computer Vision Conference 2026

15-16 October 2026

  • Berlin, Germany
The Science and Information (SAI) Organization
BACK TO TOP

Computer Science Journal

  • About the Journal
  • Call for Papers
  • Submit Paper
  • Indexing

Our Conferences

  • Computing Conference
  • Intelligent Systems Conference
  • Future Technologies Conference
  • Communication Conference

Help & Support

  • Contact Us
  • About Us
  • Terms and Conditions
  • Privacy Policy

© The Science and Information (SAI) Organization Limited. All rights reserved. Registered in England and Wales. Company Number 8933205. thesai.org