Paper Info
Title
An analysis of the openehr archetype semantics based on a typed lambda theory.
Abstract
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.
Year
DOI
Venue
2013
10.3233/978-1-61499-289-9-990
Studies in Health Technology and Informatics
Keywords
Field
DocType
openEHR,archetype,type theory,lambda calculus
openEHR,Programming language,Archetype,Medicine,Semantics,Lambda
Conference
Volume
ISSN
Citations 
192
0926-9630
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Akimichi Tatsukawa111.39
Emiko Y. Shinohara212.76
Yoshimasa Kawazoe332.78
Takeshi Imai4427.31
Kazuhiko Ohe511515.91