基于OOZS的UML类图形式化描述及其应用

Formal Specification and Application of UML Class Diagram Based on OOZS

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。

Unified Modeling Language is a generic graphical modeling language of object oriented technique. However, the lack of precise formal semantics makes it difficult to analyze the models they describe. In this aspect, formal methods can be used comple- mentarily. OOZS is an object-oriented formal specification language which is an extension to Z. In this paper we discuss formally the Class Diagram with OOZS language, which provides formal basis for UML, and explores a kind of mechanism for how to map and combine it between UML and OOZS. In the end, an example is given to explain how to combine UML and OOZS to describe the Class Diagram, and to illustrate the feasibility of this study in practice.