UML的形式化描述语义.pdfVIP

CN43—1258／TP 计算机工程与科学 2010年第32卷第 3期 ISSN 1007—130X COMPUTER ENGINEERING SCIENCE Vo1．32。No．3，2010 文章编号：1007—130X(2010)03—0096—08 UML的形式化描述语义 A FormalDescriptiveSemanticsofUM L 单黎君 。朱 鸿 SHANLi-jun，ZHUHon (1．国防科学技术大学计算机学院。湖南长沙 410073；2．牛津布鲁克斯大学。牛津) (1．SchoolofComputerScience，NationalUniversityofDefenceTechnology。Changsha410073-China； 2．OxfordBrookesUniversity。Oxf