形式化面向对象方法与并发系统的建模

• 作者: 吴智铭 朱兰娟
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 形式化规范 面向对象方法 统一建模语言 冗余磁盘阵列
• 年，卷（期）: 2001,（2）
• 页码范围: 245-249
• 页数: 5页
• 分类号: TP311
• 字数: 4368字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2001.02.021

摘要

将统一建模语言(UML)的面向对象可视化设计与代数规范语言CafeOBJ的形式描述相结合，对冗余磁盘阵列(RAID)系统中的并发特性进行建模、分析和规范.提供了RAID系统的清晰结构，以此来弥补形式化规范语言的不足，规范软件设计过程，保证程序的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴智铭	上海交通大学自动化系	121	2157	27.0	41.0
2	朱兰娟	上海交通大学自动化系	27	122	6.0	10.0