Wong, Alex
Email Address
ORCID
Disciplines
Search Results
Now showing 1 - 1 of 1
Publication HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents(1999) Silverman, Barry G; Wong, Alex; Lang, Lance; Tannen, Val; Khoury, Allan; Campbell, Keith; Sahuguet, Arnaud; Qiang, ChenThis 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.