State for product Application Object

A State_for_product is a Mapping that is between a State and a Product_specification_or_set, and that indicates:

• each member of the Product_specification_or_set has, or can have, an instant in its life that is a member of the State specification.
• each member of the State specification is, or can be, an instant in the life of a member of the Product_specification_or_set.

EXAMPLE - 'Part type XYZ_123' is a Product_specification_or_set. 'Part type XYZ after 100000 hours' is a State specification.

The relationship between:

• the Product_specification_or_set that is 'part type XYZ'; and
• the State that is 'part type XYZ_123 after 100000 hours',

that indicates:

• each part of type XYZ_123 has an state of having run for 100000 hours no more than once during its life; and
• each part type XYZ_123 after 100000 state is for a part of type XYZ_123,

is a State_for_product.

EXAMPLE - 'Part type XYZ_123' is a Product_specification_or_set. 'Part type XYZ at full powers' is a State specification.

The relationship between:

• the Product_specification_or_set that is 'part type XYZ'; and
• the State that is 'part type XYZ_123 at full power',

that indicates:

• each part of type XYZ_123 can be at full power any number of times during its life; and
• each part XYZ_123 at full power state is for a part of type XYZ_123,

is a State_for_product.

EXPRESS specification:

*)
ENTITY State_for_product
  SUBTYPE OF (Mapping);
  product  :  Product_specification_or_set
  state  :  State;
END_ENTITY;
(*

Attribute definitions:

product: the Product_specification_or_set that can be in the state.

state: the State that can exist for the product.