UML中衍型的精确定义与分析.pdfVIP

12A Vol. 31 No. 12A 2003 12 ACTA ELECTRONICA SINICA Dec. 2003 UML 蒋严冰,邵维忠, 张 路,麻志毅 ( , 100871) : UML , , .UML , , UML , . : UML; ; ; ; ; : TP311 : A : 0372-2112 (2003) 12A-2101-05 On the Formal Definition and Analysis of Stereotype in UML JIANG Yan-bing,S AO Wei-zhong,Z ANG Lu,MA Zhi-yi ( Sof tware Institute, School of Electronics Engineering and Comp uter Science , Peking University , Beij ing 100871, China Abstract : Because the concept of stereotype in UML is not precisely defined,users and researchers often misused this kind of extensionmechanism of UML, and modeling tools that support stereotype mechanism can not be well developed by the doctrine in UML. In this paper,we formally define the concept of stereotype inUML, and on this base,research thetransformation from stereotype to metamodel and the instructive rules of using stereotype.The research in this paper can help the user of stereotype understanding this kindof extension mechanism deeply ,andprovidereliabletheory base forthe development of modelingtools that support stereotype mechanism. Key words: UML;extension mechanism; stereotype;formalization; syntax; semantics , 1 . UML UML , UML1X . UML . , . ,UML : . , UML , , ,UML , ,. . UML . UML , RebeccaWirfs-Brock [ 1] . , ,. , ,