[Show abstract][Hide abstract] ABSTRACT: A formal definition for the semantics of the Whole-Part relationship in the Unified Modeling Language (UML) was described. Some of the discrepancies in UML on the formalization of the properties of the whole-part relationship were also discussed. Antisymmetry and immutability are the discrepancies involved in the formalization. Antisymmetry at type level is classified as a primary characteristic of Whole-Part relationship. Immutability refers to the stability in identity and number of the instance over time involved in a Whole-Part relationship. It is classified as a secondary characteristic of the Whole-Part.
No preview · Article · Dec 2003 · IEEE Transactions on Software Engineering