ドメイン・モデル/情報モデル/パワータイプ

概要

パワータイプ(powertype)の定義は、「そのインスタンスがあるクラスのサブクラスとなるメタクラス」です。

SimpleModelingでは、あるクラスのサブクラス群の部分集合と考えることにします。

文法

説明

パワータイプは以下の用途で使用します。

• 複数のタイプに同時に所属したい。
• タイプを動的に変更したい。

使用例