Skip to Main content Skip to Navigation
Journal articles

Formalization of the Whole-Part Relationship in the Unified Modeling Language

Abstract : A formal definition for the semantics of the Whole-Part relationship in the Unified Modeling Language or UML is introduced. This provides a fully directly usable specification which 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 (a.k.a. white diamond) and Composition (a.k.a. black diamond). Primary and secondary characteristics may then be consistently combined with. each other.. Consequently, this allows the possible introduction of supplementary forms of Whole-Part. Such a revision is necessary since Aggregation and Composition in UML 1.4 do not cover the full spectrum of Whole-Part theory.
Document type :
Journal articles
Complete list of metadatas

https://hal-univ-pau.archives-ouvertes.fr/hal-01906781
Contributor : Gaelle Chancerel-Lannuzel <>
Submitted on : Saturday, October 27, 2018 - 5:45:23 PM
Last modification on : Thursday, March 5, 2020 - 7:13:48 PM

Identifiers

Collections

Citation

Franck Barbier, Brian Henderson-Sellers, Annig Le Parc-Lacayrelle, Jean-Michel Bruel. Formalization of the Whole-Part Relationship in the Unified Modeling Language. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2003, 29 (5), pp.459-470. ⟨10.1109/TSE.2003.1199074⟩. ⟨hal-01906781⟩

Share

Metrics

Record views

61