计算机应用与软件2011，Vol.28Issue(11)：15-20,6.
UML模型形式化B方法转换的实现
REALISING FORMAL CONVERSION OF UML MODEL BY B METHOD
摘要
Abstract
As a standard language for software development, UML is widely used in designing and modelling software in various fields. However, UML is a semi-formal language lack of accurate semantics, which makes it impossible to analyse the consistency of the requirements in the software design process. Therefore, it is necessary to use a formal method to describe UML models. This paper takes High Speed Train Control System as an example and carries out a formalisation conversion of use case diagram models and sequence diagram models by B method. This formalisation conversion method will describe each component of the two kinds of models from the point of view of semantic and depict the requirements described by UML models completely.关键词
B方法/UML模型/用例图/顺序图Key words
B method UML mode Use case diagram Sequence diagram ,分类
信息技术与安全科学引用本文复制引用
夏志翔,徐中伟,陈祖希,张元玲..UML模型形式化B方法转换的实现[J].计算机应用与软件,2011,28(11):15-20,6.基金项目
国家自然科学基金项目(61075002) （61075002）
"十二五"国家科技支撑计划课题(2011BAC01B03) （2011BAC01B03）
