Silverman, Barry GWong, AlexLang, LanceTannen, ValKhoury, AllanCampbell, KeithSahuguet, ArnaudQiang, Chen2023-05-222023-05-2219992007-06-11https://repository.upenn.edu/handle/20.500.14332/8768This 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.Article