An axiomatic model for formal specification requirements of ubiquitous healthcare systems

Formal models are necessary to capture the semantics and behavior of processes of various systems. They characterize and provide insight into the behavior of real systems and thus identify their deterministic and non-deterministic features. The design and deployment of healthcare systems utilize the current technology development in order to improve healthcare services and accommodate the increasing demand on these services while maintaining high quality and error free service. However, healthcare systems lack a formal model that can precisely define specification requirements about their design and operation. This paper introduces a formal axiomatic model for ubiquitous healthcare systems. This formal model precisely defines the formal specification requirements for healthcare systems including functional and security related requirements.