A Formal Semantics of UML Sequence Diagrams

  title={A Formal Semantics of UML Sequence Diagrams},
  author={Xiaoshan Li and Zhiming Liu and He Jifeng},
This paper presents a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical tree structure. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the dynamic semantics is defined in terms of the state transitions that are carried out by the method invocations in the diagram. When a message is… CONTINUE READING