基于B方法的UML模型形式化转换的应用研究  

作　　者：沈利 SHEN Li

机构地区：[1]扬州市职业大学信息工程学院,江苏扬州225000

出　　处：《信息技术与信息化》2017年第10期90-92,共3页Information Technology and Informatization

摘　　要：统一建模语言(UML)具有一整套完善的建模工具和技术,在很多领域软件设计建模中得到广泛应用。但是用UML建立的模型缺少精确的形式化的语义,可能出现表达含糊不清、分析与设计不够严格、二义性等,需要借助具有严格形式化语义定义的B方法对UML模型进行描述。本文以货物管理系统为例,对用例图和顺序图进行形式化B方法的转换,对UML模型进行精确的语义分析,确保可以对系统进行严格的评估和进一步的实施。

关 键 词：B方法 UML 用例图 顺序图 

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