计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2000年
2期
60-63
,共4页
Object-oriented%Formal specification%UML. Object-Z%Object model%Schema
UML is the main visual Object-oriented modeling language currently, which is used widely and supported by most CASE tools. Comparing with traditional Object-oriented methods, LML describes its semantics and syntax more rigouly by using metamodel and Object Constrain Language. But some important concepts in UML are not specified clearly. This paper presents a formal specification for object model of UML, mainly includes the concepts of class, association, association class, aggregation, and inheritance, etc, so that the analyse, verification, refine, and consistent cheking can be applied to object model.
