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

UML (main topic)
---

Diagrams: Class, Object, Protocol State Machine, Sequence,
Collaboration; Modeling concepts in respective diagrams

Class diagram: Class, Association, Role, Multiplicity, Generalization,
Aggregation, Composition, Association class, ...

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

OCL (main topic)
---

OCL concepts 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 list, sequence
diagram, communication diagram, protocol state machine diagram,
[Advanced: evaluation browser], ...), many (not all) USE
functionalities though GUI and CLI

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

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

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

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

ER data model, Relational data model, MM class diagram, Syntax
(Schema), Semantics (State), diana-and-charles-example, ...

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