BPM
UCM (+ pod nim Sequence diag)
Class Model
State Diagram
Activity Model