OCL数据类型到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等进行近似模拟.