UML模型的B形式化描述方法研究  

作　　者：沈利 SHEN Li

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

出　　处：《信息技术与信息化》2018年第12期151-153,共3页Information Technology and Informatization

摘　　要：UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形式化B方法的转换规则,并以汽车租系统为例,给出了UML时序图的B方法描述。

关 键 词：状态图 B 方法 UML 

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