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