------------------------------------------------------------------------

UML (main topic)
---

Diagrams: Class, Object, Protocol State Machine, Sequence, Collaboration

Class diagram: Class, Association, Role, Multiplicity, Generalization,
Disjoint/Overlapping, Complete/Incomplete, Aggregation, Composition,
Association class, ...

------------------------------------------------------------------------

OCL (main topic)
---

OCL concepts are based on UML data types, classes, associations,
roles, multiplicity; core concepts: objects, values, navigation,
logic, collections, collection operations.

Collection kinds [Set, Bag, Sequence, OrderedSet], collection
properties [insertion order, insertion frequency], ...

Collection operations: [many operations on all collection kinds]
isEmpty, ..., size, exists, forAll, ..., select, collect, ...,
iterate, asSet, ...; [few operations on special collection kinds] at,
first, last, subSequence, ...

------------------------------------------------------------------------

USE (minor topic)
---

USE Windows (Project browser, project browser detail, log, class
diagram, object diagram, invariant evaluation, ocl expression
evaluation, object properties, class extent, command script, sequence
diagram, communication diagram, protocol state machine diagram,
[Advanced: evaluation browser], ...), USE Functionalities though GUI
and CLI

Supported constraints / employment of OCL: inv, pre/post, operation
definitions, init, derivation; SOIL operation implementations; ad-hoc
queries

------------------------------------------------------------------------

Metamodeling (minor topic)
------------

Model vs. Metamodel, OMG 4-layer architecture, Model vs. grammar, UML
metamodel, ...

ER, RE, Class diagram, Syntax (Schema), Semantics (State),
diana-and-charles-example, ...

------------------------------------------------------------------------