Model based Validation of XML Requirements, Applied on Healthcare IT Standards

Abderrazek Boufahja, Eric Poiseau

2014

Abstract

Nonconformity of healthcare implementations to the medical standards has become a real source of troubles and loss of interoperability between systems. Healthcare documents frequently contain inconsistent requirements related to the standards they must conform to. Few standards and methodologies exist to deal with complex requirements, and often they are only dedicated to some specific kinds of healthcare standards, like CDA, HL7 and DICOM. The complexity of standards and their constant evolution have made difficult the implementation of robust check methods and tools for healthcare documents. In this paper, we propose a novel model-based validation methodology, which allows enumerating and validating requirements related to healthcare documents that have XML based structure. Model-based methodology defined and specified in this paper allows checking any kind of requirements even for healthcare documents with complex standards' cascading. Experimentations of model based checking demonstrate that this method was highly effective in detecting inconsistencies, and orienting implementers of healthcare technologies.

References

  1. ASIP (April 25, 2012a). Cadre d'interoprabilité des SIS, Document chapeau. Agence des systèmes d'information partagés de santé.
  2. ASIP (October 15, 2012b). Volet Compte Rendu dÓxamens de Biologie Médicale. Asip Santé, v1.3.0.0 edition.
  3. Birgit Demuth, C. W. (2009). Model and object verification by using dresden ocl. In Proceedings of the RussianGerman Workshop Innovation Information Technologies: Theory and Practice. Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia.
  4. Birgit Demuth, S. L. and Zschale, S. (September 15 - 17, 2004). Structure of the dresden ocl toolkit. In The 2nd International Fujaba Days : MDA with UML and Rule-based Object Manipulation. Technical University of Darmstadt, Germany.
  5. Bradner, S. (1997). RFC 2119 : Keywords for use in RFCs to Indicate Requirement Levels. W3C recommendation, Harvard University, Boston, Massachusetts.
  6. Clark, J. and DeRose, S. (November, 1999). XML path language (XPath) version 1.0. W3C recommendation.
  7. Dave Steinberg, Frank Budinsky, M. P. E. M. (December 16, 2008). EMF: Eclipse Modeling Framework. Addison-Wesley Professional.
  8. eHealth Suisse (May 21, 2013). Format déchange Rapports de laboratoire soumis à déclaration en Suisse. eHealth Suisse.
  9. epSOS (January 03, 2013). epSOS Architecture and Design Interoperability Specification. Smart Open Services for European Patients.
  10. Eric Poiseau, Karima Bourquard, M. O. M. Z. (2010). Testing Tools Strategy. Healthcare Interoperability Testing and Conformance Harmonisation (HITCH).
  11. Georg Duftschmid, Wolf gang Dorda, W. G. (2009). The elga initiative: A plan for implementing nationwide electronic health records system in austria. In Medical University of Vienna.
  12. Hans-Erik Erikson, Magnus Penker, B. L. D. F. (2004). UML2 Toolkit. Wiley Publishing, Inc.
  13. Heymans S, McKennirey M, P. J. (2011). Semantic validation of the use of snomed ct in hl7 clinical documents. In Journal of Biomedical Semantics.
  14. HL7 (June, 2005b). HL7 Version 3 Standard: Common Terminology Services. Health Level Seven, release 2 edition.
  15. HL7 (May, 2005a). HL7 Clinical Document Architecture, Release 2.0 (CDA), Normative Edition. Health Level Seven.
  16. Hongli Lin, Zhencheng Chen, W. W. (2010). Xml schemas representation of dicom data model. In Bioinformatics and Biomedical Engineering (iCBBE).
  17. IHE (August 10, 2010). IT Infrastructure Technical Framework Supplement, Sharing Value Sets. Integrating the Healthcare Enterprise.
  18. IHE (August 31, 2012a). IT Infrastructure Technical Framework. Integrating the Healthcare Enterprise.
  19. IHE (August 31, 2012b). IT Infrastructure Technical Framework Supplement, Cross-Enterprise Document Workflow (XDW). Integrating the Healthcare Enterprise.
  20. Lee, D. . C. (September, 2000). Comparative analysis of six xml schema languages. In ACM SIGMOD.
  21. McLaughlin, B. (2002). Java And Xml Data Binding. O'Reilly.
  22. McLaughlin, B. (August, 2001). Java and XML. O'Reilly, second edition.
  23. Melissa Markey, M. M. (2012). Practice manager panel: Putting ehrs to meaningful use in the medical office, perspectives from practice managers. HIMSS.
  24. OASIS (November 2011). Test Assertions Markup Language (TAML). Advancing Open Standards For the Information Society (OASIS), v1.0 edition.
  25. OMG (January, 2008). MOF Model to Text Transformation Language. Object Management Group, v1.0 edition.
  26. OMG (January, 2012). OMG Object Constraint Language specification (OCL). Object Management Group, v2.3.1 edition.
  27. R. Bhuvaneswari, K. K. (February 2012). Software support for xml schema design patterns and pattern matching of xml schemas. In International Journal of Scientific and Research Publications, Volume 2, Issue 2.
  28. Sondra Renly, Rita Altamore, L. N. (November, 2012). A new model for collaboration: Building cda documents in mdht. In AMIA Annual Symposium Proceeding.
  29. Thorp, J. (September, 2010). epsos project, an overview of european interoperability initiatives. In AHIMA.
Download


Paper Citation


in Harvard Style

Boufahja A. and Poiseau E. (2014). Model based Validation of XML Requirements, Applied on Healthcare IT Standards . In Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2014) ISBN 978-989-758-010-9, pages 295-302. DOI: 10.5220/0004776902950302


in Bibtex Style

@conference{healthinf14,
author={Abderrazek Boufahja and Eric Poiseau},
title={Model based Validation of XML Requirements, Applied on Healthcare IT Standards},
booktitle={Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2014)},
year={2014},
pages={295-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004776902950302},
isbn={978-989-758-010-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2014)
TI - Model based Validation of XML Requirements, Applied on Healthcare IT Standards
SN - 978-989-758-010-9
AU - Boufahja A.
AU - Poiseau E.
PY - 2014
SP - 295
EP - 302
DO - 10.5220/0004776902950302