对象存储系统形式化研究

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