Powertype (UML)

In the <a href="/facts/Unified_Modeling_Language/3tlNS0tH">Unified Modeling Language</a> 1.x, powertype is a <a href="/facts/Keyword_(computer_programming)/pHDlUUgY">keyword</a> for a specific UML <a href="/facts/Stereotype_(UML)/bfsYGbvo">stereotype</a>, and applies to a <a href="/facts/Class_(computer_science)/zvzkSAtE">class</a> or <a href="/facts/Dependency_(UML)/ycIVgrCl">dependency</a>. Powertype shows a <a href="/facts/Classifier_(UML)/oUTatmre">classifier</a> whose <a href="/facts/Instance_(computer_science)/5zPBGdX1">instances</a> (<a href="/facts/Object_(computer_science)/eX99dtAw">objects</a>) are <a href="/facts/Children/GGe19I8d">children</a> of the given <a href="/facts/Parent/Y6tuK7qz">parent</a>.
In UML 2.x, a powertype is a <a href="/facts/Metaclass/qIUSeeLa">metaclass</a> whose instances are subclasses of a given class. The stereotype has been removed and the powertype is now indicated by typing the generalization set.
In the UML Superstructure 2.4.1 Specification Document the following definition is given:

 
The notion of power type was inspired by the notion of power set. A power set is defined as a set whose instances are subsets. In essence, then, a power type is a class whose instances are subclasses.
In UML 2.5.1,
the formal definition of powertypes in terms of power sets (or sets of subsets) are no longer given.
Instead, powertypes are illustrated through various examples.

Powertype (UML) open-in-new

Powertype (UML)