5 Module interpreted model

5.1 Mapping specification

• Composition_of_function
• Maths_function
• Subset_of_function

5.2 MIM EXPRESS short listing

EXPRESS specification:

*)
SCHEMA maths_function_mim;
  USE FROM mathematical_constructs_schema -- 10303-50
    (maths_function,
    composed_function);
(*

5.2.1 MIM EXPRESS types

none.

5.2.2 MIM EXPRESS entities

5.2.2.1 function_defined_as_subset

A function_defined_as_subset is a maths_function that is defined as a subset of another maths_function.

EXPRESS specification:

*)
ENTITY function_defined_as_subset
  SUBTYPE OF (maths_function);
  domain  :  maths_space;
  superset  :  maths_function;
END_ENTITY;
(*

Attribute definitions:

domain: The domain of the function_defined_as_subset.

superset: The maths_function that has the function_defined_as_subset as a subset.

Informal propositions:

valid_domain: The domain shall be a subset of the domain of the superset.

NOTE - This entity defines new attributes for its supertype, and so should exist in an Integrated Resource part.

*)
END_SCHEMA;
(*