All submissions of the EM system will be redirected to Online Manuscript Submission System. Authors are requested to submit articles directly to Online Manuscript Submission System of respective journal.

Model-based Validation of HL7 CDA R2 Documents and Implementation Guides Using Gazelle ObjectsChecker and ART-DECOR

Author(s): Abderrazek Boufahja, Kai U. Heitmann, Eric Poiseau

Numerous tools de ne metamodels to describe the require- ments included in CDA speci cations, the most recent and standardized one is the HL7 Templates Standard. The Templates Design resulting of this standard allow distribut- ing the CDA speci cation in a formal way. One application of this normalization is the validation of CDA documents. IHE-Europe/Gazelle team developed already a methodol- ogy named Gazelle ObjectsChecker in order to generate model-based validation of XML requirements, including HL7 CDA standard. The aim of this paper is to describe the way the re- quirements from HL7 Templates Standard are imported on Gazelle ObjectsChecker, and the bene t of such method- ology for CDA implementation guides and for CDA docu- ments validation.