Foundations of Health Information Engineering and Systems : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

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. The 11 revised full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 26 submissions. Topics of interest covered in this volume are such as software engineering; systems engineering; data engineering; applied mathematics; and psychology. Front Matter....Pages - Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets....Pages 1-18 Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets....Pages 19-36 Enhancing Product Line Development by Safety Requirements and Verification....Pages 37-54 Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability....Pages 55-71 Regulated Software Development – An Onerous Transformation....Pages 72-86 An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange....Pages 87-104 O wl O nt DB : A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes....Pages 105-123 Trustworthy Pervasive Healthcare Services via Multiparty Session Types....Pages 124-141 A Grid Based Distributed Cooperative Environment for Health Care Research....Pages 142-150 Closed-Loop Modeling of Cardiac Pacemaker and Heart....Pages 151-166 Model-Based Solution for Controlling Physiology....Pages 167-175 Automated Reviewing of Healthcare Security Policies....Pages 176-193 A Formal Diagrammatic Approach to Compensable Workflow Modelling....Pages 194-212 Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts....Pages 213-221 Back Matter....Pages -