本文所采用的代数规约语言Sofia中主要包括如下三种类型的单元，

（1）以“Spec”开始，包含Signature和Axiom两个部分。

（2）以“Signature”开始，仅包含Signature部分。

（3）以“Axiom”开始，仅包含Axiom部分。

    Sofia是一种结构化代数规约语言，一个Sort可以在已有Sort基础上构造，Sort之间可能包含两种关系，一是扩展关系Extends，类似于面向对象的继承关系，二是使用关系Uses，类似于面向对象的关联关系。

    每个Sort的Signature部分可能包含三种类型的操作，分别是Constant操作、Variable操作和Operation操作。Axiom部分使用公理表示操作的语义。三种类型单元的代数规约框架如下：    

三  基于代数规约的OCCI描述

开放式云计算接口（OCCI）由一个工作小组负责，操作过程依据开放网格论坛（OGF）的标准过程，试图为云建立一种开放式的操作协议和应用程序编程接口（API）。该工作小组最初将重点放在建立架构即服务云的接口标准解决方案，之后将其重心延伸到了云的栈模型的其他层级等方面。下面的图表(图3-1)显示了开放式云计算接口（OCCI）在服务供应商环境下适应的位置。开放式云计算接口协议（OCCI）可以用于集成服务，确保服务供应商之间操作的可能性和兼容性。如果还保存了云开放式计算接口以外的其他特征，那么在使用开放式云计算接口（OCCI）的同时还可以运用专有应用程序编程接口（API）。其规格致力于简化、灵活，同时涵盖面广。因此，将其分解成不同的模块。最初的一个模块用于描述核心网模型，另一个模块通过使用超文本传输协议（HTTP）/（REST）描述出核心网模型是如何进行映射。第三个模块描述基础设施的实体以及这些实体与核心网模型相联系的过程