UML模型形式化B方法转换的实现

• 作者: 夏志翔 张元玲 徐中伟 陈祖希
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: B方法 UML模型 用例图 顺序图
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 15-20
• 分类号: TP335
• 字数: 6159字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.11.004

摘要

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中.但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述.以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	夏志翔	同济大学电子与信息工程学院	2	18	2.0	2.0
3	陈祖希	同济大学电子与信息工程学院	5	17	3.0	4.0
4	张元玲	同济大学电子与信息工程学院	2	18	2.0	2.0