| 形式化面向对象方法与并发系统的建模 |
| |
| 引用本文： | 朱兰娟,吴智铭. 形式化面向对象方法与并发系统的建模[J]. 上海交通大学学报, 2001, 35(2): 245-249 |
| |
| 作者姓名： | 朱兰娟 吴智铭 |
| |
| 作者单位： | 上海交通大学自动化系, |
| |
| 基金项目： | 国家自然科学基金资助项目(60074011F03) |
| |
| 摘 要： | 将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合，对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构，以此来弥补形式化规范语言的不足，规范软件设计过程，保证程序的正确性。
|
| 关 键 词： | 形式化形范 面向对象方法 统一建模语言 冗余磁盘阵列 |
| 文章编号： | 1006-2467(2001)02-0245-05 |
| 修稿时间： | 2000-04-07 |
Formal Object-OrientedMethod for Modeling Concurrent System |
| |
| ZHU Lan-juan,WU Zhi-ming. Formal Object-OrientedMethod for Modeling Concurrent System[J]. Journal of Shanghai Jiaotong University, 2001, 35(2): 245-249 |
| |
| Authors: | ZHU Lan-juan WU Zhi-ming |
| |
| Abstract: | The formal specification approach provides the mechanisms for system modeling, spcifying and verifying in parallel. But the high abstract, complex expression, bad readability and reusability block it from further developing. To make up the limitation of the formal approach, this paper presented a formal object oriented method, which integrates CafeOBJ algebra specification language with the objected oriented UML visible tools to model and verify the concurrent dynamic characteristics of redundant arrays of inexpensive disks (RAID) control system. |
| |
| Keywords: | formal specification object oriented method unified modeling language redundant arrays of inexpensive disks (RAID) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
