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

We present the results of two controlled experiments to compare ER and UML class diagrams, in order to find out which of the models provides better support during the comprehension of data models. The ...

Figure 4. Complex template diagram. The complex template diagram in Figure 4 is representative of the class of class diagrams described in the textual example above. Since UML class diagrams do not ...