对象存储系统形式化研究

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

Study of Formalization for Object Storage System

Study of Object Storage System is a hotspot, it changes traditional storage pattern by replacing block-based interface with object-based interface. Object storage pattern is a key technology for next generation network storage pattern, it provides a best way to solve mass information storagek,data sharing in heterogeneous environment,scalable of storage system,security of information etc.. At the same time, object is the base unit of the object storage system, it is key element for system management. In order to study management of object storage system, the paper gives systemic studying of object formalization. First, the paper gives formalization of object; then, gives formalization of object storage system; last, gives relations of objects and infers an object storage pattern by the relations of objects. Study of formalization for object storage system will help us to study object management in detail.