@article{GUO Yan-yan:17, author = {GUO Yan-yan, ZHANG Nan and TONG Xiang-rong}, title = {Survey on Formal Semantics of UML Sequence Diagram}, publisher = {Computer Science}, year = {2017}, journal = {Computer Science}, volume = {44}, number = {2}, eid = {17}, numpages = {13}, pages = {17}, keywords = {Unified modeling language,Formal methods,Sequence diagram,Combined interaction fragments,Denotational semantics,Operational semantics}, url = {https://www.jsjkx.com/EN/abstract/article_983.shtml}, doi = {10.11896/j.issn.1002-137X.2017.02.002} }