Art-decor and Gazelle toolsgazelle.ihe.net/common/Art-decor_and_Gazelle_tools.pdf · IHE Gazelle ObjectsChecker : Principles and advantages Gazelle Validation of CDA documents Art-decor

4 – Confidential (Staff)

Copyright © 2015 1

Art-decor and Gazelle tools

Abderrazek Boufahja (Engineer/Consultant from IHE-Europe)

[email protected]

2015-11-19

Coupling and testing process

4 – Confidential (Staff) Copyright © 2015 2

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation components

Combined use of Art-decor and IHE Gazelle tools

Schematrons integration

Requirements import to Gazelle ObjectsChecker

Use case study : eyecare validation tools

Validation of CDA specifications

4 – Confidential (Staff) Copyright © 2015

Gazelle ObjectsChecker

Principles (1)

A methodology to describe informal requirements in healthcare IT

specifications based on CDA standard, into a formal description

An architecture that allows :

The validation of the conformance of any kind of XML requirements

Provide metrics and documentary features

Improve the coupling between rules and requirements

Support the validation of inheritance between healthcare standards

3

Source : eHealth Suisse, Format d’échange, Rapports de laboratoire soumis à déclaration en Suisse (Projet)



Principles (2)

4

Automatic and thorough

Testing

Requirements

Entry

Scripts that extract information from

UML models and generate structured

texts related to these models

Description of the structure of the XML doc.

Injection of rules and requirements into the model

→ OCL constraints



Implementation

Multiple CDA validators (each testing one “content profile”

specification) were developed and used by IHE and multiple

national projects around the world :

14 IHE validators

11 epSOS validators

15 CDA validators for different national projects

30 000 CDA documents validated against Gazelle

ObjectsChecker generated validators

Heavily used during European and North American

Connectathon and epSOS Projectathon

Easily integrated into third party repositories as a front end

validation tool

5



Advantages

Requirement coverage capability

support of complex requirements (complex algorithm, etc)

conditional /iterations validation

XML elements type verification

Data types requirements checking

Runtime access to coded value sets from a repository of

terminologies

Easier to maintain than hand written schematrons

Validation is faster than schematrons

Linking between the rules tested and the requirements from the

specifications

6


Outline




Art-decor : testing and validation component


Schematron integration





Standalone Document/Message Validation

EVSClient

8

Gazelle Test Platform

EV

S F

ron

t E

nd

HL7v2/v3 Validator

Dicom Validator

CDA Validator

Schematon Validator

XDW Validator 1 - HTTP : Upload

of document

2 – WS

Call

3 - Report

SUT

EVSClient : a front end to the conformance validation services used by the

Gazelle Platform (http://gazelle.ihe.net/EVSClient)

http://gazelle.ihe.net/EVSClient


EVSClient demonstration for CDA validation

9


EVSClient installations

10

Kanta (Finland)

epSOS (EU Cross-border)

eSanté (Luxembourg)

Venice Region (Italy)


Outline





Combined use of Art-decor and IHE Gazelle ObjectsChecker

Schematron integration





Art-decor : What it is?

A tool to edit requirements of CDA specifications, based on

HL7 Templates Standard DSTU R1

art-decor:

art : the GUI editor

Decor :

the model of the requirements

A generator of schematrons

A generator of specification in html format/ docbook / etc

12


Art-decor : What it looks like?

13

List of templates

Template Properties


Decor !!

Art-decor : structure

14

Art

Web editor of

requirements

HL7 templates standard

Exchange format

Schematrons Documentation

(html, docbook, etc)

Others

(generator of samples,

generator of tree pf

templates, etc)


Outline











Art-decor Schematrons - Integration to Gazelle

16


EV

S F

ron

t E

nd

HL7v2/v3 Validator

Dicom Validator

CDA Validator

Schematon Validator

XDW Validator 1 - HTTP : Upload

of document

2 – WS

Call

3 - Report

SUT


Outline











Art-Decor


18

ObjectsChecker

Requirements

Entry


Requirements import to Gazelle

ObjectsChecker

Input : HL7 Templates exchange format

Output :

Model of constraints

Jar file for validation

A standalone executable for validation CDA documents

A report of errors during the processing of the exchange format

19


EV

S F

ron

t E

nd

HL7v2/v3 Validator

Dicom Validator

CDA Validator

Schematon Validator

XDW Validator

2 – WS

Call


Application : Eyecare validation tool (1)

Input : HL7 Templates exchange format for eyecare CDAs

Link : http://kujira.irisa.fr/art-decor/decor-templates--IHE-EYE-GEE-PN-

Output :

A standalone executable for validation eyecare CDA documents

A jar file for validation included in CDA Validator

Schematrons for the validation, included in SchematronValidator

20


EV

S F

ron

t E

nd

HL7v2/v3 Validator

Dicom Validator

CDA Validator

Schematon Validator

XDW Validator

2 – WS

Call

Generation of CDA eyecare validation tools

http://kujira.irisa.fr/art-decor/decor-templates--IHE-EYE-GEE-PN-
















Generation and configuration time : couple of hours for both

art-decor schematrons and gazelle objectsChecker validation

tools -> comparing to handwritten models : couple of weeks

Advantages (comparing to hand written models) :

Robustness of the validation tool (there are no missing

constraints)

The description of constrains is generated -> always

understandable

Time generation gain

21

Advantages



22

Demonstration

http://gazelle.ihe.net/EVSClient/detailedResult.seam?type=CDA&oid=1.3.6.1.4.1.12559.11.1.2.1.4.227343

http://kujira.irisa.fr/art-decor/decor-templates--IHE-EYECARE-

http://gazelle.ihe.net/EVSClient/detailedResult.seam?type=CDA&oid=1.3.6.1.4.1.12559.11.1.2.1.4.227343












Comparison to other tools of validations

More number of check than other tools

More assertions covered on the requirements

An average of errors found better than other validation tool

23


Outline











Validation of CDA specifications (1)

25


Validation of CDA specifications (2)

26

Goals :

Verify that the datas entered to

the art-decor are conform to the

CDA standard

Kind of errors found :

Errors on the original

handwritten specification

Errors when integrating the

original specification into art-

decor

CDA model HL7 Templates

Exchange format

Gazelle

ObjectsChecker

Report of validation


Conclusion

The integration of art-decor output with Gazelle provides :

Imports of requirements from the HL7 Templates exchange format

to Gazelle ObjectsChecker

Inclusion of schematrons generated by art-decor in

SchematronValidator tool

Validation of the CDA specifications as a side effect

Advantages :

Gain on time of development

Gain on robustness of the tools of validation

Improvement of the quality of the CDA specifications

27


More details..

Gazelle ObjectsChecker :

paper on IHIC2015: http://www.ejbi.org/img/ejbi/2015/2/Boufahja_en.pdf

paper on HEALTHINF 2014 : http://gazelle.ihe.net/files/HEALTHINF_2014_49_CR_2.pdf

presentation on IHIC 2015 : http://gazelle.ihe.net/files/paper_ihic_presentation_0.pdf

documentation of gazelle EVSClient: http://gazelle.ihe.net/content/cda-model-based-validation

Blog in Ringholm (René Spronk):

http://www.ringholm.com/column/HL7_CDA_Conformance_testing_tools_analysis.htm

Eric Poiseau presentation in HL7 WGM of Paris, May 2015 : https://vimeo.com/127800129

EVSClient : http://gazelle.ihe.net/EVSClient/

Art-decor:

Art-decor website : http://art-decor.org/

Art-decor tutorials : http://art-decor.org/mediawiki/index.php/Documentation

Art-decor papers and presentations : http://art-decor.org/mediawiki/index.php/Download

Visit our web site : http://gazelle.ihe.net

Email address : [email protected]

28

http://www.ejbi.org/img/ejbi/2015/2/Boufahja_en.pdf

http://gazelle.ihe.net/files/HEALTHINF_2014_49_CR_2.pdf

http://gazelle.ihe.net/files/paper_ihic_presentation_0.pdf

http://gazelle.ihe.net/content/cda-model-based-validation







http://www.ringholm.com/column/HL7_CDA_Conformance_testing_tools_analysis.htm

https://vimeo.com/127800129

http://gazelle.ihe.net/EVSClient/

http://art-decor.org/



http://art-decor.org/mediawiki/index.php/Documentation



http://art-decor.org/mediawiki/index.php/Download



http://gazelle.ihe.net/

mailto:[email protected]




Questions

Documents

Art-decor and Gazelle toolsgazelle.ihe.net/common/Art-decor_and_Gazelle_tools.pdf · IHE Gazelle ObjectsChecker : Principles and advantages Gazelle Validation of CDA documents Art-decor