[SYMBOL] [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] if-then-else implementation associations attributes classes collection operation derivation rule enumerations events flattening interfaces invariant operations states implementation:constraint constraint:implementation implementation:precondition implementation:postcondition implementing OCL implies includes 2nd 3rd 4th includesAll 2nd including inheritance 2nd inheritance:constraints, of constraint:inheritance of initial value 2nd instance as collection in activity diagram in interaction diagram instance as collection Integer interaction diagram 2nd 3rd interface intersection 2nd 3rd invariant 2nd 3rd attribute, on implementation maintenance of 2nd invariant name invariant:checking checking invariants invariant:inheritance of inheritance:invariant, of isEmpty 2nd 3rd isQuery isSent isUnique iterate iterator |