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

• 作者: 张德运 肖健宇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 对象约束语言 形式化方法 B方法
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 61-63
• 页数: 3页
• 分类号: TP311.1
• 字数: 2187字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.06.022

摘要

研究了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等进行近似模拟.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张德运	西安交通大学电子与信息工程学院	184	2190	23.0	37.0
2	肖健宇	西安交通大学电子与信息工程学院	13	83	6.0	8.0