%A GUO Yan-yan, ZHANG Nan and TONG Xiang-rong %T Survey on Formal Semantics of UML Sequence Diagram %0 Journal Article %D 2017 %J Computer Science %R 10.11896/j.issn.1002-137X.2017.02.002 %P 17-30 %V 44 %N 2 %U {https://www.jsjkx.com/CN/abstract/article_983.shtml} %8 2018-11-13 %X Formal semantics of UML sequence diagrams is critical to express the dynamic interaction of software system accurately.Therefore,a well-formed sequence diagram is a prerequisite for the analysis and verification of UML model and an important guarantee to improve the reliability of software systems.In this paper,different methods used in UML sequence diagram’s semantics were summarized and compared based on the working mechanisms and pros&cons,respectively.Meanwhile,the special issues with respect to how to define the semantics of UML sequence diagram were discussed as well.Finally,some specific research topics and directions in this area were suggested and proposed.