计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
6期
61-63
,共3页
统一建模语言%对象约束语言%形式化方法%B方法
統一建模語言%對象約束語言%形式化方法%B方法
통일건모어언%대상약속어언%형식화방법%B방법
研究了UML模型到B形式化规约的转换.提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则.OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Char_TYPE和String_TYPE来进行规约;OCL中的REAL类型采用B中的记录表达式进行近似模拟;OCL中的Collection类型(包括Set,Orderedset,Bag,Sequence)用B语言中的set,sequence,tree等进行近似模拟.
研究瞭UML模型到B形式化規約的轉換.提齣瞭一套從OCL數據類型及定義在這些數據類型上的操作到B AMN的轉換規則.OCL的Boolean類型和Integer類型分彆對應于B中的BOOL類型和Z類型;OCL中的String類型需用B抽象機器重新定義新的數據類型Char_TYPE和String_TYPE來進行規約;OCL中的REAL類型採用B中的記錄錶達式進行近似模擬;OCL中的Collection類型(包括Set,Orderedset,Bag,Sequence)用B語言中的set,sequence,tree等進行近似模擬.
연구료UML모형도B형식화규약적전환.제출료일투종OCL수거류형급정의재저사수거류형상적조작도B AMN적전환규칙.OCL적Boolean류형화Integer류형분별대응우B중적BOOL류형화Z류형;OCL중적String류형수용B추상궤기중신정의신적수거류형Char_TYPE화String_TYPE래진행규약;OCL중적REAL류형채용B중적기록표체식진행근사모의;OCL중적Collection류형(포괄Set,Orderedset,Bag,Sequence)용B어언중적set,sequence,tree등진행근사모의.
