HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents

Barry G. Silverman, University of Pennsylvania
Alex Wong, University of Pennsylvania
Lance Lang, Kaiser-Permanente
Allan Khoury, Kaiser-Permanente
Keith Campbell, Kaiser-Permanente
Val Tannen, University of Pennsylvania
Arnaud Sahuguet, University of Pennsylvania
Chen Qiang, University of Pennsylvania

Article comments

Postprint version. Published in American Medical Informatics Association Symposium, 1999, pages 955-959.

Abstract

This paper describes the efforts of a consortium that is trying to develop and validate formal methods and a meta-environment for authoring, checking, and maintaining a large repository of machine executable practice guidelines. The goal is to integrate and extend a number of open software standards so that guidelines in the meta-environment become a resource that any vendor can plug their applications into and run in their proprietary environment provided they conform to the interface standards.