UML 2.0 State Machine Diagram Procedures