Post on 18-Jan-2021
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