Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie.
Nous proposons dans cet article une nouvelle implantation dans UML (Unified
Modeling Language) de la relation Tout-Partie. Assimilable en UML aux notions
d’agrégation et de composition, la relation Tout-Partie n’apparaît pas en tant que métatype
dans le métamodèle UML. Les concepts d’agrégation et de composition sont caractérisés et
représentés via les métatypes Association et AssociationEnd plus quelques contraintes. Dans
ce contexte, l’agrégation et la composition sont en particulier jugées et prouvées erronées,
puis ré-analysées en fonction de propriétés primaires et secondaires. Un nouveau fragment
de métamodèle ainsi que des axiomes et des règles associées sont proposés. Ils augmentent la
pertinence et la qualité formelle de ce fragment. Un métatype Whole-Part est en effet
introduit puis les sous-types Aggregation et Composition dont les propriétés essentielles
(primaires) comme l’asymétrie, sont héritées. Les propriétés secondaires sont elles assignées
en fonction de leur compatibilité mutuelle ainsi que de leur intérêt pour les utilisateurs
d’UML. La dépendance de vie entre objets par exemple, est complètement spécifiée dans
l’article et aide à redéfinir proprement la composition.
A formal definition for the semantics of the Whole-Part relationship in the Unified
Modeling Language or UML is introduced. This provides a full, directly usable specification
that can be incorporated into version 2.0 of UML. An improvement to the current metamodel
fragment relating to relationships is proposed, supplemented by the introduction of axioms
expressed in the Object Constraint Language or OCL. The overall formalization relates to a
clear and concise emphasis on carefully enunciated (primary) characteristics that apply to all
instances of a new Whole-Part metatype. Specific kinds of the Whole-Part relationship are
defined in terms of secondary characteristics, which must be possessed by subtypes: in UML
1.4, these are Aggregation and Composition. Primary and secondary characteristics may
then be consistently combined with each other. Consequently, this allows the possible
introduction of supplementary forms of Whole-Part. A revision is thus necessary since
Aggregation and Composition do not cover the full spectrum of the Whole-Part theory.
F.BARBIER, A.LE PARC-LACAYRELLE, J.BRUEL
UML, agrégation, composition.
UML, aggregation, composition.
Français
|
