UML顺序图形式化语义的研究综述 (Survey on Formal Semantics of UML Sequence Diagram)

Yanyan Guo, Nan Zhang, Xiangrong Tong. UML顺序图形式化语义的研究综述 (Survey on Formal Semantics of UML Sequence Diagram). 计算机科学, 44(2):17-30, 2018. [doi]

Abstract

Abstract is missing.