wiki:Archtectural Overview Implementation

Version 7 (modified by KOBAYASHI, Shinji, 10 years ago) (diff)



Table of Contents

  1. 16.1 概要

この文書はArchtectural Overview16 Implementation Technology Specificationsの翻訳である。正確性については保証しないので,適宜原文を参照すること。

16 実装技術仕様

16 Implementation Technology Specifications

16.1 概要

16.1 Overview

実装技術仕様(ITS)は、抽象モデルの"最強度の"セマンティクスから、特定技術における同等物への変換ルールに関するアプリケーションによって生成される。 変換ルールには通常以下のマッピングが含まれる。 · クラス名と属性 · プロパティと関数のシグネチャのマッピング · 文字列や数値といった基本型のマッピング · 多重継承の処理方法 · ジェネリック(テンプレート)型の処理方法 · 共変(covariant)及び反変(contravariant)の再定義のセマンティクスの処理方法 · シグネチャxxxx:T を持つプロパティ(すなわちargumentsを持たないプロパティ)の、ストアされた属性(xxxx:T)または関数 (xxxx():T)へのマッピングの選択 · 事前条件(pre-condition)、事後条件(post-condition)及びクラス不変条件(invariant)の表現方法 · List<>, Set<> 等のassumed型とinbuilt型のマッピング

ITSs are created by the application of transformation rules from the "full-strength" semantics of the abstract models to equivalents in a particular technology. Transformation rules usually include mappings of:

  • names of classes and attributes;
  • property and function signature mapping;
  • mapping of basic types e.g. strings, numerics;
  • how to handle multiple inheritance;
  • how to handle generic (template) types;
  • how to handle covariant and contravariant redefinition semantics;
  • the choice of mapping properties with signature xxxx:T (i.e. properties with no arguments) to stored attributes (xxxx:T) or functions (xxxx():T);
  • how to express pre-conditions, post-conditions and class invariants;
  • mappings between assumed types such as List<>, Set<> and inbuilt types.


ITSs are being developed for a number of major implementation technologies, as summarised below. Implementors should always look for an ITS for the technology in question before proceeding. If none exists, it will need to be defined. A methodology to do this is being developed.

図40 は、実装技術仕様空間を図示するものである。各仕様は、openEHRの抽象モデルで使用される標準的なオブジェクト指向セマンティクスからのマッピングを文書化したものであり、ITS形式における各抽象モデルの表現方法を提供する。

FIGURE 40 illustrates the implementation technology specification space. Each specification documents the mapping from the standard object-oriented semantics used in the openEHR abstract models, and also provides an expression of each of the abstract models in the ITS formalism.


Attachments (2)

Download all attachments as: .zip