Changes between Initial Version and Version 1 of Archtectural Overview Implementation


Ignore:
Timestamp:
Sep 21, 2007, 5:25:01 PM (14 years ago)
Author:
KOBAYASHI, Shinji
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Archtectural Overview Implementation

    v1 v1  
     116 Implementation Technology Specifications
     216.1 Overview
     3
     4ITSs 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:
     5
     6    * names of classes and attributes;
     7    * property and function signature mapping;
     8    * mapping of basic types e.g. strings, numerics;
     9    * how to handle multiple inheritance;
     10    * how to handle generic (template) types;
     11    * how to handle covariant and contravariant redefinition semantics;
     12    * the choice of mapping properties with signature xxxx:T (i.e. properties with no arguments) to stored attributes (xxxx:T) or functions (xxxx():T);
     13    * how to express pre-conditions, post-conditions and class invariants;
     14    * mappings between assumed types such as List<>, Set<> and inbuilt types.
     15
     16ITSs 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.
     17
     18FIGURE 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.