上海交通大学学报
上海交通大學學報
상해교통대학학보
JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2004年
z1期
159-163
,共5页
统一建模语言%元模型%PVS规范%转换
統一建模語言%元模型%PVS規範%轉換
통일건모어언%원모형%PVS규범%전환
UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.
UML是一種非形式化的麵嚮對象建模語言,它缺少精確的語義定義;PVS規範則是一種具有精確語義定義的形式化規範語言,通過PVS規範給UML圖形賦予精確的語義可以結閤兩者的優勢.為此,提齣瞭一箇將UML類圖轉換成PVS規範的框架.按照UML的4層架構,依次對元元模型、元模型以及UML圖形進行轉換,併且前一次轉換所得到的規範可以為後麵的轉換提供上下文揹景.與其他方法相比,這種分層轉化的方法降低瞭轉換難度,保證瞭轉換的正確性,保持瞭UML模型更完整的語義成分.
UML시일충비형식화적면향대상건모어언,타결소정학적어의정의;PVS규범칙시일충구유정학어의정의적형식화규범어언,통과PVS규범급UML도형부여정학적어의가이결합량자적우세.위차,제출료일개장UML류도전환성PVS규범적광가.안조UML적4층가구,의차대원원모형、원모형이급UML도형진행전환,병차전일차전환소득도적규범가이위후면적전환제공상하문배경.여기타방법상비,저충분층전화적방법강저료전환난도,보증료전환적정학성,보지료UML모형경완정적어의성분.
