------------------------------------------------------------------------ UML --- Diagrams: Class, Object, Sequence, ... Class diagram: Class, Association, Role, Multiplicity, Generalization, Disjoint/Overlapping, Complete/Incomplete, Aggregation, Composition, Association class, ... ------------------------------------------------------------------------ OCL --- Concepts based on 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] exists, ..., select, collect, ..., iterate, asSet, ...; [few operations on special collection kinds] at, first, last, subsequence, ... [Advanced: Three-valued logic and undefined value] ------------------------------------------------------------------------ USE --- 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, [Advanced: evaluation browser], ...), USE Functionalities though GUI and CLI Supported constraints (inv, pre/post), operation definitions, [init, derivation] [Advanced: Consistency, Independence, Consequences] ------------------------------------------------------------------------ Metamodeling ------------ ER, RE, Class diagram, Syntax (Schema), Semantics (State), diana-and-charles-example, ... [Advanced: Constraints, (see for example page 18 in 'Tales of ...') 1. Base::Base Value::differentContentOrDataType 2. ErSyn::ErSyn ErSchema::uniqueEntityNamesWithinErSchema 3. ErSem::ErSem Instance::keyMapUnique 4. RelSyn::RelSyn RelSchema::relSchemaKeyNotEmpty 5. RelSem::RelSem Tuple::keyMapUnique 6. DataMods::Base Attribute::linkedToOneOfInstanceLinkTuple 7. Er2Rel::Er2Rel Trans::forTupleExistsOneInstanceXorLink] ------------------------------------------------------------------------