A Composition_of_activity is a Mapping that is between two instances of Activity (whole and part) and that indicates each individual product performing the whole Activity is a composition that contains, or can contain, another individual product performing the part Activity.
EXAMPLE - 'Part type XYZ_123' is a product specification. 'Drive shaft of part type XYZ_123' is another product specification. There is a chain of assembly relationships that relate a 'drive shaft of part type XYZ_123' to the 'part type XYZ_123' assembly as a whole, which are outside the scope of this module.
'Part type XYZ_123 start up' is an Activity specification that is valid for a member of 'Part type XYZ_123'. 'Drive shaft of part type XYZ_123 running up to 3000 rpm' is another Activity specification that is valid for a member of 'Drive shaft of part type XYZ_123'.
The relationship between:
- the whole Activity that is 'Part type XYZ_123 start up'; and
- the part Activity that is 'Drive shaft of part type XYZ_123 running up to 3000 rpm',
that indicates:
is a Composition_of_activity.
- a part of type XYZ_123 starting up contains a drive shaft running up to 3000 rpm; and
- a drive shaft of part type XYZ_123 running up to 3000 rpm can, but need not, be contained within a part of type_XYZ starting up (it can be run up on a test bed),
EXPRESS specification:
*) ENTITY Composition_of_activity SUBTYPE OF (Mapping); part : Activity whole : Activity; END_ENTITY; (*
Attribute definitions:
part: the Activity that is a part of the whole.
whole: the Activity that contains the part.