计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2007年
11期
44-46
,共3页
UML%形式化方法%抽象机%B方法
UML%形式化方法%抽象機%B方法
UML%형식화방법%추상궤%B방법
统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.
統一建模語言UML廣汎用于麵嚮對象技術的建模,B方法主要是用抽象機來描述軟件繫統的規格說明.文章針對軟件開髮中經常用到的UML模型,提齣瞭基于B語言的UML形式化方法:通過將UML模型轉化為B抽象機,實現瞭UML模型的形式化.實例分析錶明,轉換是可行的.
통일건모어언UML엄범용우면향대상기술적건모,B방법주요시용추상궤래묘술연건계통적규격설명.문장침대연건개발중경상용도적UML모형,제출료기우B어언적UML형식화방법:통과장UML모형전화위B추상궤,실현료UML모형적형식화.실례분석표명,전환시가행적.
