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