Systems analysis and design with UML version 2.0 : an object-oriented approach by Dennis, Alan Publication date 2005 Topics System analysis, System design, UML (Computer science), Systeemanalyse, ...

In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the ...