(minor) renamed sequence diagrams in line with activity diagrams