VDM++Formalization of UML Class Diagram

HU Wen-sheng; ZHAO Ming; YANG Jian-feng; JIA Guo-rong

Chinese

您当前的位置：

首页 >

文章列表页 >

VDM++Formalization of UML Class Diagram

更新时间：2026-09-04

- VDM++Formalization of UML Class Diagram
- Vol. 29, Issue 6, Pages: 104-107(2012)
- 作者机构：
  
  1. 1 贵州大学计算机科学与信息学院,贵州,贵阳,550025
  2. 2 贵州商业高等专科学校计算机科学与技术系,贵州,贵阳,550005
  3. 3 贵州省可靠性工程中心,贵州,贵阳,550025
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2012
- 稿件说明：
移动端阅览
胡文生, 赵明, 杨剑峰, 贾国荣. UML类模型的VDM++形式化规约[J]. 微电子学与计算机, 2012, 29(6): 104-107.

HU Wen-sheng, ZHAO Ming, YANG Jian-feng, et al. VDM++Formalization of UML Class Diagram[J]. 2012, 29(6): 104-107.
胡文生, 赵明, 杨剑峰, 贾国荣. UML类模型的VDM++形式化规约[J]. 微电子学与计算机, 2012, 29(6): 104-107. DOI：

HU Wen-sheng, ZHAO Ming, YANG Jian-feng, et al. VDM++Formalization of UML Class Diagram[J]. 2012, 29(6): 104-107. DOI：

摘要

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点

结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示

从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。

Abstract

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 VDM+ +.This method achieves the various elements contained UML class model about the syntax and semantics checking

and further improves the quality of UML modeling.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Lightweight countermeasures against Spectre attacks on the branch prediction unit

Aerial small object detection algorithm based on improved RT-DETR

Design of ultra-low power real-time clock circuits

Research on the design of blockchain-based AI-generated content traceability framework

Research on assembly action recognition based on MSS-YOLO-MPHands fusion architecture

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰