On the Formalized Semantics of Static Modeling Elements in UML. - Yan-Bing Jiang; Wei-Zhong Shao; Zhi-Yi Ma; Yao-Dong Feng (ICFEM, 2002)