The Formal Mechanism of the UML Model Based on SBOPN | IEEE Conference Publication | IEEE Xplore