期刊文献+

形式化面向对象方法与并发系统的建模 被引量:1

Formal Object-Oriented Method for Modeling Concurrent System
下载PDF
导出
摘要 将统一建模语言 (UML )的面向对象可视化设计与代数规范语言 Cafe OBJ的形式描述相结合 ,对冗余磁盘阵列 (RAID)系统中的并发特性进行建模、分析和规范 .提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 . The formal specification approach provides the mechanisms for system modeling, specifying and verifying in parallel. But the high abstract, complex expression, bad readability and reusability block it from further development. To make up for the limitation of 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.
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期245-249,共5页 Journal of Shanghai Jiaotong University
基金 国家自然科学基金!资助项目 (6 0 0 740 11F0 3)
关键词 形式化形范 面向对象方法 统一建模语言 冗余磁盘阵列 Formal languages Mathematical models Parallel processing systems Redundancy
  • 相关文献

参考文献4

  • 1[1]Goldsack S J, Kent S J H. Formal methods and object technology [M]. Berlin: Springer-Verlag, 1996.
  • 2[2]Booch G, Rumbaugh J, Jacobson I. Unified modeling language user guide [J/OL]. Addison Wesley, 1997. http://www. awl. com/cp/uml/uml. html.
  • 3[3]Diaconescu R, Futatsugi K. CafeOBJ report--the languages, proof techniques and methodologies for object-oriented algebraic specifics [R]. [s.l.]: World Scientific, 1998.
  • 4[4]Goguen J A, Diaconescu R. Towards an algebraic semantics for the object paradigm [A]. Harmut E, Fernando O. Recent Trends in Data Type Specification [C]. Volume 785 of Lecture Notes in Computer Science, 1994. 1~34.

同被引文献3

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部