State and activity diagrams