The healthcare system that prevailed some years ago was a mere pen and paper based system. A number of workers, staff, and written records were the main components of the prevailing system of healthcare. This had a number of drawbacks, and a number of mishaps occurred due to mismanagement of data and information. There was a need for development. Then, the concept of telemedicine came, which revolutionized the healthcare paradigm to a great extent. With the advancement of telemedicine, many major problems of the prevailing system were removed. But, still there were many other aspects which could be further improved to make healthcare facilities more enhanced. Keeping this in mind, the concept of Multi Agent System (MAS) was introduced in the healthcare system later. MASes are considered as the best and most appropriate technology that can be used in the development of applications in healthcare paradigm where the presence of multiple agents, heterogeneous and loosely coupled components, the data management in a dynamic and distributed environment, and multi-user collaborations are considered the most pertinent requirements for healthcare system. This chapter focuses mainly about MAS, its applications, and some systems that were developed by the authors.
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study