In this paper, we show that problems in the communication between two systems can be detected by using sequence diagrams to model the planned communication and by comparing the planned sequence to the ...

UML sequence diagrams (SDs) are a mainstay of requirements specifications for communication protocols. Mauw and Reniers' algebraic (MRA) semantics formally specifies a behavior for these SDs that ...

Inside VSTS The Joy of Sequence Diagrams Rosario features a new and improved kind of class diagram. Jeff dives into the details. By Jeff Levinson 05/07/2008 In my last column, I covered some of the ...