5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

• use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
• use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

USE FROM basic_attribute_schema    --  ISO 10303-41
  (id_attribute,
   id_attribute_select,
   name_attribute,
   name_attribute_select);



USE FROM person_organization_schema    --  ISO 10303-41
  (address,
   organization,
   organization_relationship,
   organizational_address,
   person,
   person_and_organization,
   personal_address);
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

basic_attribute_schema	ISO 10303-41
person_organization_schema	ISO 10303-41

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM entity definition

This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.

5.2.1.1 person_and_organization_address   

EXPRESS specification:

*)
ENTITY person_and_organization_address
  SUBTYPE OF (organizational_address, personal_address);
  SELF\organizational_address.organizations : SET[1:1] OF organization;
  SELF\personal_address.people : SET[1:1] OF person;
WHERE
  WR1: SIZEOF(QUERY(pao <* USEDIN (SELF\personal_address.people[1], 'PERSON_ORGANIZATION_SCHEMA.PERSON_AND_ORGANIZATION.THE_PERSON') | pao.the_organization :=: SELF\organizational_address.organizations[1])) = 1;
END_ENTITY;
(*

Attribute definitions:

organizations: the organization in which the person is active.

people: the person whose address is specified.

Formal propositions:

WR1: The located person shall be referred to by one instance of person_and_organization that refers to the considered organization in its the_organization attribute.

NOTE    This rule ensures that the person is registered in the organization where he/she is located by the person_and_organization_address.

© ISO 2004 — All rights reserved