摘要开放云计算接口OCCI的代数规约描述技术随着云计算技术的成熟，越来越多的运营商发展自己的云，在众多的云中，迫切需要一套标准，使云有一个共同发展的方向。OCCI（Open Cloud Computing Interface）是一种开放云计算接口标准。代数规约具有严谨的形式化理论基础，最初提出是一种可以独立于软件实现的定义抽象数据类型的方法，当前可用于描述软件系统。本文将代数规约应用于开放云计算接口描述，可以检测出OCCI接口的不精确、模糊、不完整和不一致，从而帮助完善OCCI标准。61154

毕业论文关键词：开放云计算；OCCI；代数规约

毕业设计说明书（论文）外文摘要

Title : Algebraic specification description technology for Open Cloud Computing Interface 

Abstract

As cloud computing technology matures, more and more operators begin to develop their own cloud. Among the cloud, we need a set of standards acceptable to everyone, so that the cloud has a common development. OCCI (Open Cloud Computing Interface) is such a standard. The algebraic specification formal theory with rigorous, a software implementation can be independent of the style defines an abstract data. Through it, we can find out the OCCI interface imprecise, vague, incomplete and inconsistent, thus helping improve the OCCI standards.

Keyword: Open cloud computing interface;OCCI; Algebraic Specification

目录

一 引言            

1.1 OCCI简介                   1

1.2 代数规约简介                1

1.3 论文主要工作                2

1.4 论文组织安排                2

二 代数规约语言

2.1 代数规约理论               3

2.2 代数规约语言               3

三 基于代数规约的OCCI描述

3.1 OCCI Core Model            6

3.2 Infrastructure             11

3.3 OCCI HTTP Rendering        16

3.4.编辑工具                   24

四 结论             25

致谢                25

参考文献            26 

一  引言

“云计算”概念诞生到现在已经超过五年，俨然是IT界最热的概念。最近几年，云计算毫无疑问是一个飞速发展变化的领域，其定义、内涵外延、分类都在不断的演进过程之中。在市场的高速成长期，当然免不了一些盲目追新的参与者，以及擅长在新兴市场捞一票的投机客混迹其中，这也就成为云计算产业乱象频生的主要原因。在这其中，标准的缺失一直是困扰云计算市场与用户的一个重要问题。而OCCI(开放云计算接口)正是云计算标准之一。源:自'优尔.·论,文;网·www.youerw.com/

1.1 OCCI简介

在2009年3月初的OGF25会议上，OGF(Open Grid Forum)正式作出了OCCI BoF，并成立了一个云计算有关的工作组OCCI-WG, Open Cloud Computing Interface Working Group 。 其目标是完全的、开放的按需提供的云构架API的快速开发。

OCCI-WG的目标是：针对IaaS的服务模式，创建一套开放接口解决方案，这个套开放接口的功能包括：远程管理云计算基础构架，这个管理包括：基础构架之间的部署性互操作、测量和监控。由于OCCI主要关注于IaaS的API标准化，有关的结构相对非常简单且非常清晰。由提供商提供资源支持，实现计算、存贮和网络服务，这些服务包括各种有关属性和CRUD即生成、恢复、更改和删除等特征。