HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents
Postprint version. Published in American Medical Informatics Association Symposium, 1999, pages 955-959.
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.
Barry G. Silverman, Alex Wong, Lance Lang, Allan Khoury, Keith Campbell, Val Tannen, Arnaud Sahuguet, and Chen Qiang. "HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents" Database Research Group (CIS) (1999).
Available at: http://works.bepress.com/barry_silverman/21