计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
11期
15-20
,共6页
夏志翔%徐中伟%陈祖希%张元玲
夏誌翔%徐中偉%陳祖希%張元玲
하지상%서중위%진조희%장원령
B方法%UML模型%用例图%顺序图
B方法%UML模型%用例圖%順序圖
B방법%UML모형%용례도%순서도
UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中.但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述.以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求.
UML是軟件開髮的標準語言,已經廣汎運用于各種領域的軟件設計建模之中.但是UML的半形式化錶達方式缺乏準確的語義,使其無法在軟件設計過程中針對需求的一緻性進行分析,因此需要使用一種形式化方法對UML模型進行描述.以高速列車控製繫統為例,基于B方法對用例圖模型與順序圖模型進行形式化轉換,對兩種模型中各組成部分從語義角度分彆進行瞭描述,從而完整地刻畫瞭UML模型所描述的繫統需求.
UML시연건개발적표준어언,이경엄범운용우각충영역적연건설계건모지중.단시UML적반형식화표체방식결핍준학적어의,사기무법재연건설계과정중침대수구적일치성진행분석,인차수요사용일충형식화방법대UML모형진행묘술.이고속열차공제계통위례,기우B방법대용례도모형여순서도모형진행형식화전환,대량충모형중각조성부분종어의각도분별진행료묘술,종이완정지각화료UML모형소묘술적계통수구.
