对象存储系统形式化研究

摘要：

对象存储系统是近来兴起的存储领域研究热点,它改变了传统的存储模式,用对象接口取代了传统的块接口.作为下一代互联网存储模式的关键技术--对象存储,它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问题迎刃而解.对象作为对象存储系统的基本单位,它的管理将是系统管理的关键.为了更好地研究对象存储系统对象的管理,本文对对象的形式化做了系统的研究.首先根据对象存储系统的实际给出了对象存储系统中对象的形式化描述;接着我们给出了对象存储系统的形式化描述;最后讨论了对象存储系统中对象间的关系,并通过这些对象间的关系推导出一种对象存储系统模式.对象存储系统的形式化研究将有助于我们对对象管理做进一步研究.

关键词：对象、对象存储系统、形式化、继承

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2004CB318201

在线出版日期：2007-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：16-18