The proposed method contented of two elements of sequence diagrams, i.e. property of class and message sequence. The result of experiment showed that the property class and message sequence could be a ...

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 ...