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.
Highlights
The patient registration systems handle the complex situations
To improve the quality of patient registration system in terms of accuracy, robustness and reliability, we model the requirements of Patient Registration System (PRS) in Vienna Development Method-Specification language (VDM-SL) by removing all the errors
Radio Frequency Identification (RFID) tag is inserted into the bracelet or card which is assigned to patients
Summary
The patient registration systems handle the complex situations. a good patient registration system is very important for the development of healthcare system. The existing patient registration systems (PRS) just provide basic functionalities and do not assign RFID card or RFID bracelet to the patients at registration time. Formal methods are procedures used to model complex systems as mathematical entities. Formal strategies are used to transform the complex structures into mathematical models thereby making it possible to validate in more careful way than conventional testing strategies [2]. This RFID based PRS is based on the electronic storage of the patient records. To improve the quality of patient registration system in terms of accuracy, robustness and reliability, we model the requirements of PRS in VDM-SL by removing all the errors.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Advanced Computer Science and Applications
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
