Using conceptual work products of health care to design health IT.

This paper introduces a new, model-based design method for interactive health information technology (IT) systems. This method extends workflow models with models of conceptual work products. When the health care work being modeled is substantially cognitive, tacit, and complex in nature, graphical workflow models can become too complex to be useful to designers.

Health informatics-enabled workflow redesign and evaluation.

Although health information technologies frequently serve as critical workflow components, we currently lack validated methods for identifying how heath informatics can support workflow redesign and for evaluating redesign results. In this study, we describe how a previously developed business process redesign framework was adapted for health informatics-enabled workflow redesign and evaluation. We then demonstrate our methods using an emergency medicine case study.

Model Checking for Verification of Interactive Health IT Systems.

Rigorous methods for design and verification of health IT systems have lagged far behind their proliferation. The inherent technical complexity of healthcare, combined with the added complexity of health information technology makes their resulting behavior unpredictable and introduces serious risk. We propose to mitigate this risk by formalizing the relationship between HIT and the conceptual work that increasingly typifies modern care.