Automated Synthesis of Sequence Diagrams