Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation | IEEE Conference Publication | IEEE Xplore