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

• 作者: 杨剑峰 胡文生 贾国荣 赵明
• 来源期刊: 微电子学与计算机
• 关键词: 统一建模语言 类图 类 维也纳开发方法
• 年，卷（期）: 2012,（6）
• 页码范围: 104-107
• 分类号: TP311.1
• 语种: 中文

摘要

利用目前使用最为广泛的形式化验证语言VDM＋＋在描述系统模型的语法和语义上的精确、一致的特点，结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM＋＋表示，从而实现对UML类模型中所包含的各个元素进行语法和语义的检查，进一步提高UML的建模质量．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵明		9	52	4.0	7.0
2	贾国荣	贵州商业高等专科学校计算机科学与技术系	11	67	5.0	8.0
3	杨剑峰		1	2	1.0	1.0