|
|
Application module:
Effectivity application |
ISO/TS 10303-1059:2014-02(E)
© ISO
|
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.
EXPRESS specification:
*)
SCHEMA Effectivity_application_mim;
USE FROM
basic_attribute_schema
--
ISO 10303-41
(object_role,
role_association,
role_select);
USE FROM
Effectivity_mim;
--
ISO/TS 10303-1057
USE FROM
management_resources_schema
--
ISO 10303-41
(effectivity_assignment);
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| basic_attribute_schema |
ISO 10303-41 |
| Effectivity_mim |
ISO/TS 10303-1057 |
| management_resources_schema |
ISO 10303-41 |
NOTE 2
See Annex D,
Figures
D.1and D.2
for a graphical representation of this schema.
This subclause specifies the MIM type
for this application module. The MIM type and
definition is specified below.
The effectivity_item type is an extensible list of alternate entity data types.
It provides a mechanism to refer to instances of the data types included in the types that extend the effectivity_item type.
NOTE
This empty extensible select type requires extension in a further module, to ensure that any entity data type that refers
to it can have a valid instantiation.
EXPRESS specification:
*)
TYPE
effectivity_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT;
END_TYPE;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
An applied_effectivity_assignment is a type of
effectivity_assignment
that implements the ARM concept of
Effectivity_assignment.
An applied_effectivity_assignment assigns an effectivity to one or more effectivity_item.
EXPRESS specification:
*)
ENTITY applied_effectivity_assignment
SUBTYPE OF (effectivity_assignment);
items : SET[1:?] OF effectivity_item;
END_ENTITY;
(*
Attribute definitions:
items:
the set of
effectivity_items
to which the effectivity is assigned.
An applied_ineffectivity_assignment is a type of
effectivity_assignment
that implements the ARM concept of
Ineffectivity_assignment.
EXPRESS specification:
*)
ENTITY applied_ineffectivity_assignment
SUBTYPE OF (effectivity_assignment);
items : SET[1:?] OF effectivity_item;
WHERE
WR1: SIZEOF(['EFFECTIVITY_SCHEMA.LOT_EFFECTIVITY',
'EFFECTIVITY_SCHEMA.SERIAL_NUMBERED_EFFECTIVITY',
'PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION_EFFECTIVITY'] *
TYPEOF(SELF.assigned_effectivity)
) = 0;
END_ENTITY;
(*
Attribute definitions:
items:
the set of
effectivity_items
to which the
effectivity
is assigned.
Formal propositions:
WR1:
An applied_ineffectivity_assignment shall have an
assigned_effectivity
which is not of type
lot_effectivity,
serial_numbered_effectivity,
or
product_definition_effectivity.
*)
END_SCHEMA; -- Effectivity_application_mim
(*
© ISO 2014 — All rights reserved
