OCL数据类型到B形式化规约的转换  

Transformation from OCL Data Type to B Formal Specification

作　　者：肖健宇[1] 张德运[1] 

机构地区：[1]西安交通大学电子与信息工程学院

出　　处：《计算机工程》2006年第6期61-63,共3页Computer Engineering

基　　金：国家"863"计划网络安全管理与测评技术项目(863-301-05-03)

摘　　要：研究了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等进行近似模拟。Transformation from UML model to B method＇s specification is studied. A suit of rules of transformation from OCL data types to B abstract machine notations is proposed. The Boolean type and Integer type of OCL are separately translated to B＇s BOOL and Z type; OCL String type is specified by new defined Char_TYPE and StringTYPE; OCL real type is simulated by B＇s record expression; OCL collection type which includes Set, Orderedset, Bag and Sequence is simulated by B＇s set, sequence and tree types.

关 键 词：统一建模语占 对象约束语言 形式化方法 B方法 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]