Slide 1 1Spring 2005 Specification and Analysis of Information Systems Modeling Behavior with UML Sequence Diagrams Eran Toch http://www.technion.ac.il/~erant Spring 2007…