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.

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