An analysis of the openehr archetype semantics based on a typed lambda theory.
The openEHR has adopted the dual model architecture consisting of Reference Model and Archetype. The specification, however, lacks formal definitions of archetype semantics, so that its behaviors have remained ambiguous. The objective of this poster is to analyze semantics of the openEHR archetypes: its variance and mutability. We use a typed lambda calculus as an analyzing tool. As a result, we have reached the conclusion that archetypes should be 1) covariant and 2) immutable schema.
Department of Planning, Information, and Management, The University of Tokyo Hospital, Tokyo, Japan.
Akimichi
A
Tatsukawa
Emiko Y
EY
Shinohara
Yoshimasa
Y
Kawazoe
Takeshi
T
Imai
Kazuhiko
K
Ohe
D000465:Algorithms; D001185:Artificial Intelligence; D057286:Electronic Health Records; D008498:Medical Record Linkage; D008962:Models, Theoretical; D009323:Natural Language Processing; D012660:Semantics; D012984:Software; D018875:Vocabulary, Controlled