基于类型化λ演算理论的开放电子健康记录原型语义分析。
An analysis of the openehr archetype semantics based on a typed lambda theory.
作者信息
Tatsukawa Akimichi, Shinohara Emiko Y, Kawazoe Yoshimasa, Imai Takeshi, Ohe Kazuhiko
机构信息
Department of Planning, Information, and Management, The University of Tokyo Hospital, Tokyo, Japan.
出版信息
Stud Health Technol Inform. 2013;192:990.
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.
开放电子健康记录（openEHR）采用了由参考模型和原型组成的双模型架构。然而，该规范缺乏原型语义的形式化定义，因此其行为一直不明确。本海报的目的是分析开放电子健康记录原型的语义：其变异性和不可变性。我们使用类型化 lambda 演算作为分析工具。结果，我们得出结论，原型应该是 1）协变的和 2）不可变的模式。
Zotero 插件