OpenU.Ru
Семантическая вариация обобщения, в которой объект может изменять свой тип
или роль.
См. для сравнения static classification.
См. multiple classification.
Семантика
Во многих языках программирования объект не может менять класс,
экземпляром которого он является. Это ограничение,
принятое в статической классификации, упрощает реализацию и оптимизацию компиляторов,
однако с логической точки зрения оно не обязательно. Например, но статической
классификации объект, который был создан как экземпляр круга, должен оставаться
кругом - растянуть его вдоль оси х невозможно. Согласно динамической классификации,
круг, который сжат или растянут по одному из измерений, становится эллипсом.
В модели, созданной на языке UML, можно пользоваться либо той, либо другой классификацией.
В данном случае это одна из точек семантических вариаций. Выбор одной из этих
классификаций оказывает на удивление небольшое влияние на всю модель, хотя для
ее реализации эти различия могут оказаться существенными. В обоих случаях должны
определяться одни и те же классы, но операции, которые они поддерживают, могут
отличаться.