[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [R] [S] [T] [U] [V] parameter event signal parameter:event event:parameter parameter:formal formal parameter polymorphic event A polymorphic event is an event that has many potential receiving state machines in a generalization polymorphic signal A polymorphic signal is a signal delivered at run time to a specific state machine for a class in a precondition procedure 2nd A state procedure is an operation that is executed by an object on entry to a state. procedure:rules about rules:procedures progression modeling of pseudostate final initial |