Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

J.W. Wesselink; N. Goga; A.J. Mooij; R. Spronk

doi:10.1109/CCECE.2005.1557301

Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

J.W. Wesselink, N. Goga, A.J. Mooij, R. Spronk

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Abstract

Health level seven (HL7) is an ANSI standard that provides a comprehensive framework for electronic health information. The most-widely used HL7 specification is called infrastructure management, which facilitates health-care applications to exchange key sets of clinical and administrative data. This paper results from a cooperation between the authors of the HL7 standard and academics who have actively participated in an HL7 technical committee. The challenge taken is to apply formal methods to a standard in creation, which can be incomplete and subject to change. Based on this contribution to HL7, we address some gaps in the current theory on message sequence chart with respect to deferred behavior and to non-local choice

Original language	English
Title of host publication	Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005
Publisher	Institute of Electrical and Electronics Engineers
Pages	1656-1659
ISBN (Print)	0-7803-8886-0
DOIs	https://doi.org/10.1109/CCECE.2005.1557301
Publication status	Published - 2005

Access to Document

10.1109/CCECE.2005.1557301

Cite this

Wesselink, J. W., Goga, N., Mooij, A. J., & Spronk, R. (2005). Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory. In Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005 (pp. 1656-1659). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CCECE.2005.1557301

@inproceedings{d5762839fd914423a1ed3c952e980369,

title = "Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory",

abstract = "Health level seven (HL7) is an ANSI standard that provides a comprehensive framework for electronic health information. The most-widely used HL7 specification is called infrastructure management, which facilitates health-care applications to exchange key sets of clinical and administrative data. This paper results from a cooperation between the authors of the HL7 standard and academics who have actively participated in an HL7 technical committee. The challenge taken is to apply formal methods to a standard in creation, which can be incomplete and subject to change. Based on this contribution to HL7, we address some gaps in the current theory on message sequence chart with respect to deferred behavior and to non-local choice",

author = "J.W. Wesselink and N. Goga and A.J. Mooij and R. Spronk",

year = "2005",

doi = "10.1109/CCECE.2005.1557301",

language = "English",

isbn = "0-7803-8886-0",

pages = "1656--1659",

booktitle = "Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Wesselink, JW, Goga, N, Mooij, AJ & Spronk, R 2005, Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory. in Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005. Institute of Electrical and Electronics Engineers, pp. 1656-1659. https://doi.org/10.1109/CCECE.2005.1557301

Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory. / Wesselink, J.W.; Goga, N.; Mooij, A.J. et al.
Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005. Institute of Electrical and Electronics Engineers, 2005. p. 1656-1659.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

AU - Wesselink, J.W.

AU - Goga, N.

AU - Mooij, A.J.

AU - Spronk, R.

PY - 2005

Y1 - 2005

N2 - Health level seven (HL7) is an ANSI standard that provides a comprehensive framework for electronic health information. The most-widely used HL7 specification is called infrastructure management, which facilitates health-care applications to exchange key sets of clinical and administrative data. This paper results from a cooperation between the authors of the HL7 standard and academics who have actively participated in an HL7 technical committee. The challenge taken is to apply formal methods to a standard in creation, which can be incomplete and subject to change. Based on this contribution to HL7, we address some gaps in the current theory on message sequence chart with respect to deferred behavior and to non-local choice

AB - Health level seven (HL7) is an ANSI standard that provides a comprehensive framework for electronic health information. The most-widely used HL7 specification is called infrastructure management, which facilitates health-care applications to exchange key sets of clinical and administrative data. This paper results from a cooperation between the authors of the HL7 standard and academics who have actively participated in an HL7 technical committee. The challenge taken is to apply formal methods to a standard in creation, which can be incomplete and subject to change. Based on this contribution to HL7, we address some gaps in the current theory on message sequence chart with respect to deferred behavior and to non-local choice

U2 - 10.1109/CCECE.2005.1557301

DO - 10.1109/CCECE.2005.1557301

M3 - Conference contribution

SN - 0-7803-8886-0

SP - 1656

EP - 1659

BT - Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005

PB - Institute of Electrical and Electronics Engineers

ER -

Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

Abstract

Access to Document

Fingerprint

Cite this