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.