UML类模型的VDM++形式化规约  

VDM++Formalization of UML Class Diagram

作　　者：胡文生[1,2,3] 赵明 杨剑峰[1,3] 贾国荣[2] 

机构地区：[1]贵州大学计算机科学与信息学院,贵州贵阳550025 [2]贵州商业高等专科学校计算机科学与技术系,贵州贵阳550005 [3]贵州省可靠性工程中心,贵州贵阳550025

出　　处：《微电子学与计算机》2012年第6期104-107,共4页Microelectronics & Computer

摘　　要：利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。The purpose of this paper is to use the most widely used formal language-VDM ＋ ＋ that has characteristics of accuracy and consistent in describing syntax and semantic of the system model, combined with VDMTOOLS and Rational Rose tool to transform the various elements of the UML class model into representation of VI）M＋ ＋. This method achieves the various elements contained UML class model about the syntax and semantics checking, and further improves the quality of UML modeling.

关 键 词：统一建模语言 类图 类 维也纳开发方法 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]