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

The tinsmith's helper and pattern book, with useful rules, diagrams and tables by Vosburgh, H. K. [from old catalog]; Neubecker, William, 1864- [from old catalog] ed Publication date 1912 Topics ...

A sequence diagram is a modeling approach for visualizing the behavioral execution of a system. The objective of this research is to investigate the problem of security in a behavioral model (sequence ...