On Generalization and Overriding in UML 2 . 0

  title={On Generalization and Overriding in UML 2 . 0},
  author={Fabian B{\"u}ttner and Martin Gogolla},
In the upcoming Unified Modeling Language specification (UML 2.0), subclassing (i.e., generalization between classes) has a much more precise meaning with respect to overriding than it had in earlier UML versions. Although it is not expressed explicitly, UML 2.0 has a covariant overriding rule for methods, attributes, and associations. In this paper, we first precisely explain how overriding is defined in UML 2.0. We relate the UML approach to the way types are formalized in programming… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

Type-safe covariance: Competent compilers can catch all catcalls

  • Mark Howard, Eric Bezault, +4 authors Markus Keller
  • Technical report,
  • 2003

Schwartzbach . Three discussions on object - oriented typing

  • Jens Palsberg, I. Michael
  • Inheritance Workshop at European Conference for…
  • 2002

Add generic types to the java programming

  • Gilad Bracha, Norman Cohen, +6 authors Philip Wadler
  • language. participant draft specification,
  • 2001

Typing in object-oriented languages: Achieving expressibility and safety(!)

  • Kim B. Bruce
  • 1996

Similar Papers

Loading similar papers…