Activity for product Application Object

An Activity_for_product is a Mapping that is between an Activity and a Product_specification_or_set and that indicates:

• each member of the Product_specification_or_set performs, or can perform, a member of the Activity specification.
• each member of the Activity specification is, or can be, an period in the life of a member of the Product_specification_or_set.

An Activity_for_product can be one of the following:

• Creating_activity_for_product;
• Destroying_activity_for_product.

EXAMPLE - 'Part type XYZ' is a Product_specification_or_set. 'Part type XYZ_123 start up ' is an Activity specification.

The relationship between:

• the Product_specification_or_set that is 'part type XYX'; and
• the Activity that is 'part type XYZ_123 start up',

that indicates:

• a part of type XYZ_123 can be started up many times during its life; and
• a part type XYZ_123 start up must involve a part of type XYZ_123,

is an Activity_for_product.

EXPRESS specification:

*)
ENTITY Activity_for_product
  SUPERTYPE OF (ONEOF (
  Creating_activity_for_product,
  Destroying_activity_for_product))
  SUBTYPE OF (Mapping);
  activity  :  Activity
  product  :  Product_specification_or_set;
END_ENTITY;
(*

Attribute definitions:

activity: the Activity that is performed by the product.

product: the Product_specification_or_state that performs the activity.