Supporting the iterative development of sequence diagrams and statecharts