The UML (Unified Modeling Language) notation is a specification language
It is a graphical-textual language.
It is not a programming language.
It has a semantics but not an operational semantics.
UML has been agreed to as the “standard” language for
describing (modeling) objects.
UML is intended to scale to support specification of large complex
systems. Accordingly it is baroque and complicated. We
will use only a small part of UML which we will introduce
as we go along rather than spending separate lecture
Developers are working on an subset of UML which can be
given an operational specification. That is, it will
be possible to write a compiler which will translate
We will use UML as a documentation language to supplement