statechart and activity diagrams