A Subset_of_parameterisation is a Specialisation_of_class that is between two instances of Parameterisation (superclass and subclass); and that indicates the all the members of the subclass are also members of the superclass.
NOTE - This relationship enables a part of a set of product features or a set of states to be specified by their parameterisation.
Consider a set of states which exists during an activity, and which is parameterised by the set of real numbers between 0 and 1. There is a subset of these states at the begining of the activity which is parameterised by the set of real numbers between 0 and 0.5.
A Subset_of_parameterisation can record that the parameterisation of the subset is part of the parameterisation of the whole. Hence the relationship between the part set of states and the whole set of states can be deduced from the parameterisation.
EXPRESS specification:
*) ENTITY Subset_of_parameterisation SUBTYPE OF (Specialisation_of_class); subclass : Parameterisation; superclass : Parameterisation; END_ENTITY; (*
Attribute definitions:
subclass: the Parameterisation that consists entirely of members of the superclass.
superclass: the Parameterisation that contains all members of the subclass.