首页 | 本学科首页   官方微博 | 高级检索  
     

UML模型到B抽象机的转换和实现
作者姓名:仲晓敏  邹盛荣
作者单位:1. 扬州大学信息工程学院,江苏,扬州,225009;淮海工学院计算机科学系
2. 扬州大学信息工程学院,江苏,扬州,225009
摘    要:统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.

关 键 词:UML  形式化方法  抽象机  B方法  模型  抽象机  转换  分析表  形式化方法  型转化  统一建模语言  中经  软件开发  规格说明  软件系统  描述  对象技术
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号