E-Health entails the use of advanced communications and computing technologies to support health care delivery and education. Unfortunately, most applications designed for health care are still facedwith obstacles, such as confidentiality, privacy of medical data, interoperability, dependability, and usability, to their wide acceptance. Operations Support in e-Health based systems can only be provided within a formal framework to eliminate system errors, improve dependability and enhance usability. The formal framework presented in this thesis uses algebraic specifications in object...