论文部分内容阅读
将统一建模语言(UML)的面向对象可视化设计与代数规范语言CafeOBJ的形式描述相结合，对冗余磁盘阵列(RAID)系统中的并发特性进行建模、分析和规范.提供了RAID系统的清晰结构，以此来弥补形式化规范语言的不足，规范软件设计过程，保证程序的正确性.
形式化面向对象方法与并发系统的建模
【摘 要】
：
将统一建模语言(UML)的面向对象可视化设计与代数规范语言CafeOBJ的形式描述相结合，对冗余磁盘阵列(RAID)系统中的并发特性进行建模、分析和规范.提供了RAID系统的清晰结构，以
【机 构】
：
上海交通大学自动化系
【出 处】
：
上海交通大学学报
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
我国林业资源丰富,随着国民经济的发展,林业发展也随之加快。森林资源扩大的过程中,最为艰巨的挑战是有害生物的防治。对林业的保护关系到社会和经济效益,加强管理和防治,阻
据了解，在每年都公布企业专利注册非名榜的美国，出售专利正成为各专利注册大户的利润增长点之一，而且，它在总利润所占的比重确不断增大之势。
利用噪声检测技术对控制棒驱动机构进行正常和错对中落棒噪声检测试验,并对采集到的噪声信号时程特性及其对应的频谱特性进行了分析研究,试验表明,控制棒驱动机构错对中状态
由于近些年来我国汽车保有量逐渐增加,大量增长的交通量逐渐成为了我国交通运输行业负担。一些公路由于运输量激增,急需加宽以保证正常使用。但在旧路基加宽施工过程中,关于
据报道，香港正打算改变目前的移民政策吸引亚洲地区投资移民，主要是鼓励有钱人举家移居香港，与此同时也计划全面放宽专才的输入，解决目前技术人才的短缺：
要想建立“能干事”的体制和“干成事”的机制，培养“会干事”的队伍，构筑高效率的政府，就必须完善公务员考核制度。必须从当前公务员考核制度与实际操作层面上存在的主要问题入
目前生物技术发展较为迅速,日益影响和改变着人们的生产和生活方式。生物技术在环保工程领域的重要性也日益突出,有效地将生物科学与工程技术相结合,强化生物技术在环保工程中的应用,可以避免环保治理效果慢、高成本的弊端,提高环保工程的有效性,减少成本,降低二次污染。本文以生物技术为切入点,重点探讨了生物技术在环保工程中的应用,旨在说明环保工程中应用生物技术的重要性,以期指导实践。
论述了在当前网络信息时代 ,随着数字图书馆的建设 ,国内外涌现了许多形式的网上参考咨询服务 ,如E mail服务、BBS讨论组、实时解答服务等 .由于用户需求的日益增长 ,越来越