On Types, Instances, and Classes in UML

The semantics of UML [3] is for a large part given in English. The drawback of Eng-lish is its ambiguity, which makes it unclear and ambiguous. But the benefits of Eng-lish are its power and flexibility, which allow it to deal with a slightly inconsistent terminology. Formalizing UML will imply recognizing the occurrences of these in-consistencies and coping with them in a systematic way. In this paper, we show some problems with the UML terminology and we propose an approach to deal with these problems.

Published in:
ECOOP2000, Workshop on Defining Precise Semantics for UML
Presented at:
ECOOP2000, Workshop on Defining Precise Semantics for UML, Sophia Antipolis, Cannes, France
Year:
2000
Keywords:
Laboratories: