Formal design of electronic public health records.

EHR systems have evolved from management of medical and patient records to the management of comprehensive health records including information about any observed health states e.g., social, economic and environmental conditions; and process such as public health surveillance, health promotion, prevention, education, etc. The paper discusses the analysis and design of Electronic Public Health Records (EPHR) according to the advanced state of knowledge in methodologies, models, techniques and tools for the specification of EPHR systems. A formal component-based architectural approach, based on internationally agreed terminologies, healthcare standards and software engineering de facto standards is presented.