Yao Xiaoling. The Formal Mechanism of the UML Model Based on SBOPN. In Wanqing Wu, Lipo Wang, Chunlei Ji, Niansheng Chen, Qiang Sun 0005, Xiaoyong Song, Xin Wang 0034, editors, 6th International Conference on Systems and Informatics, ICSAI 2019, Shanghai, China, November 2-4, 2019. pages 816-820, IEEE, 2019. [doi]