%0 Journal Article
%T The Formalization of Object Model in UML Based on Object-Z<br>基于Object—Z的UML对象模型的形式化
%A 杨卫东
%A 蔡希尧
%J 计算机科学
%D 2000
%I 
%X 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.
%K Object-oriented
%K Formal specification
%K UML
%K Object-Z
%K Object model
%K Schema<br>UML语言
%K 面向对象
%K Object－Z
%K 对象模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=51C4AC3A0E7BD2B8&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=0B39A22176CE99FB&sid=BFE7933E5EEA150D&eid=E84BBBDDD74F497C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=18