title: HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents.
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.
authors.affiliation: University of Pennsylvania, USA. barryg@seas.upenn.edu
authors.forename: B G
authors.initials: BG
authors.lastname: Silverman
authors.forename: O
authors.initials: O
authors.lastname: Sokolsky
authors.forename: V
authors.initials: V
authors.lastname: Tannen
authors.forename: A
authors.initials: A
authors.lastname: Wong
authors.forename: L
authors.initials: L
authors.lastname: Lang
authors.forename: A
authors.initials: A
authors.lastname: Khoury
authors.forename: K
authors.initials: K
authors.lastname: Campbell
authors.forename: C
authors.initials: C
authors.lastname: Qiang
authors.forename: A
authors.initials: A
authors.lastname: Sahuguet
mesh_terms: D003195:Computer Communication Networks / Q000458:organization & administration; D020000:Decision Support Systems, Clinical; D003661:Decision Support Techniques; D006801:Humans; D017410:Practice Guidelines as Topic; D012984:Software / Q000592:standards*; D018511:Systems Integration