Formalization of Multiplicity in UML Association

Yong Yang (Singapore)


UML,multiplicity, OCL, association


Unified Modeling Language (UML) has been used as a standard modeling language for software development. However, due to the lack of formal semantics, we discover that multiplicity in UML association was largely misinterpreted by people including software engineers who have been using UML including multiplicity for some times. In this paper, we discuss the formal semantics for multiplicity in UML association. A method was proposed earlier in [8] for converting associations to existence dependencies. However, the method does not take care of the multiplicities in associations. With the formal semantics presented, we enhance the method so that the multiplicities are also converted in the conversion.

Important Links:

Go Back