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

Barry G. Silverman, University of Pennsylvania, Oleg Sokolsky, University of Pennsylvania, and Val Tannen, University of Pennsylvania

8/01/2008
(Original Publish Date: 3/1/1999)

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.