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