art-decor and gazelle toolsgazelle.ihe.net/common/art-decor_and_gazelle_tools.pdf · ihe gazelle...

4 – Confidential (Staff)

Copyright © 2015 1

Art-decor and Gazelle tools

Abderrazek Boufahja (Engineer/Consultant from IHE-Europe)

abderrazek.boufahja@ihe-europe.net

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)

4 – Confidential (Staff) Copyright © 2015

Gazelle ObjectsChecker

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

4 – Confidential (Staff) Copyright © 2015

Gazelle ObjectsChecker

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

4 – Confidential (Staff) Copyright © 2015

Gazelle ObjectsChecker

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

4 – Confidential (Staff) Copyright © 2015 7

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation component

Combined use of Art-decor and IHE Gazelle tools

Schematron integration

Requirements import to Gazelle ObjectsChecker

Use case study : eyecare validation tools

Validation of CDA specifications

4 – Confidential (Staff) Copyright © 2015

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)

4 – Confidential (Staff) Copyright © 2015

EVSClient demonstration for CDA validation

9

4 – Confidential (Staff) Copyright © 2015

EVSClient installations

10

Kanta (Finland)

epSOS (EU Cross-border)

eSanté (Luxembourg)

Venice Region (Italy)

4 – Confidential (Staff) Copyright © 2015 11

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation component

Combined use of Art-decor and IHE Gazelle ObjectsChecker

Schematron integration

Requirements import to Gazelle ObjectsChecker

Use case study : eyecare validation tools

Validation of CDA specifications

4 – Confidential (Staff) Copyright © 2015

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

4 – Confidential (Staff) Copyright © 2015

Art-decor : What it looks like?

13

List of templates

Template Properties

4 – Confidential (Staff) Copyright © 2015

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)

4 – Confidential (Staff) Copyright © 2015 15

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation component

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

Art-decor Schematrons - Integration to Gazelle

16

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

4 – Confidential (Staff) Copyright © 2015 17

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation component

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

Art-Decor

Requirements import to Gazelle ObjectsChecker

18

ObjectsChecker

Requirements

Entry

4 – Confidential (Staff) Copyright © 2015

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

Gazelle Test Platform

EV

S F

ron

t E

nd

HL7v2/v3 Validator

Dicom Validator

CDA Validator

Schematon Validator

XDW Validator

2 – WS

Call

4 – Confidential (Staff) Copyright © 2015

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

Gazelle Test Platform

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

4 – Confidential (Staff) Copyright © 2015

Application : Eyecare validation tool (2)

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

4 – Confidential (Staff) Copyright © 2015

Application : Eyecare validation tool (3)

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-

4 – Confidential (Staff) Copyright © 2015

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

4 – Confidential (Staff) Copyright © 2015 24

Outline

Gazelle Validation tools

IHE Gazelle ObjectsChecker : Principles and advantages

Gazelle Validation of CDA documents

Art-decor : testing and validation component

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

Validation of CDA specifications (1)

25

4 – Confidential (Staff) Copyright © 2015

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

4 – Confidential (Staff) Copyright © 2015

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

4 – Confidential (Staff) Copyright © 2015

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 : abderrazek.boufahja@ihe-europe.net

28

4 – Confidential (Staff) Copyright © 2015 29

Questions