Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records. Front Matter....Pages - Medical Protocol Diagnosis Using Formal Methods....Pages 1-20 Form Follows Function....Pages 21-38 Declarative Modelling and Safe Distribution of Healthcare Workflows....Pages 39-56 Towards a Formal Integrated Model of Collaborative Healthcare Workflows....Pages 57-74 NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery....Pages 75-92 Experiences with a Compositional Model Checker in the Healthcare Domain....Pages 93-110 Model Checking Workflow Monitors and Its Application to a Pain Management Process....Pages 111-128 Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries....Pages 129-139 Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata....Pages 140-159 An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump....Pages 160-176 On the Safety of Electronic Medical Records....Pages 177-194 Challenges in eHealth: From Enabling to Enforcing Privacy....Pages 195-206 A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems....Pages 207-224 Back Matter....Pages - This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012.