------------------------------------------------------------------------ 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: [most operations on all collection kinds] exists, ..., select, collect, ..., iterate, asSet, ...; [few operations on special collection kinds] at, first, last, subsequence, ... [Advanced: Three-valued logic, 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, [Advanced: evaluation browser], ...), USE Functionalities, GUI, CLI Supported constraints (inv, pre/post), operation definitions ASSL: Procedures, Create, CreateN, Insert, Try, Any, for, if [Advanced: Consistency, Independence, Consequences] ------------------------------------------------------------------------ Metamodeling ------------ ER, RE, Class diagram, Syntax (Schema), Semantics (State), ... [Advanced: Constraints, z.B. (siehe Seite 18 auf '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] ------------------------------------------------------------------------