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

摘要

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