Medical Journal of AustraliaVolume 214, Issue 2 p. 62-65.e1 Perspectives Putting the “good” into Good Clinical Practice Tanya Symons, Corresponding Author Symons [email protected] University Sydney, NSW Correspondence [email protected] for more papers by this authorSteve Webb, Steve Webb Royal Perth Hospital, Perth, WASearch authorJohn R Zalcberg, John Zalcberg Monash Un...

We describe ongoing work on the modelling, verification, and implementation of Integrated Care Pathways (ICPs) for HIV patients in Scotland. Healthcare knowledge, including existing policies, guidelines, and best practices, is encoded in formal, process-based, workflow models. This is achieved through the use of our logic-based, modelling framework WorkflowFM, which provides high levels of rigo...