HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents Authors: B.G. Silverman, PhD, University of Pennsylvania, A. Wong, Sun Microsystems, L. Lang, MD, Kaiser Permenente A. Khoury, MD, Kaiser Permanente K. Campbell, MD, PhD, Kaiser Permanente V. Tannen, PhD, University of Pennsylvania, A. Sahuguet, MS, University of Pennsylvania, C. Qiang, MS, University of Pennsylvania Abstract: This paper describes the efforts of a consortium that is trying to develop and validate scalable 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.