[发明专利]对IT操作/策略建模

权利要求书

1.一种方法，所述方法包括：

生成一IT系统的模型，所述模型对用于部署、配置和操作所述IT系统的 策略进行建模，所述模型包括采用声明性语言的类型化句法的类型声明，其中 所述类型声明一起对用于配置和操作所述IT系统的策略进行建模，并且其中， 所述类型声明声明了所述IT系统的类/组件的类型、所述IT系统的类/组件之 间的关系的类型、以及所述IT系统的约束；以及

将所述模型储存在计算机可读介质中。

2.如权利要求1所述的方法，其特征在于，所述约束包括表达式，所述 表达式包括对所述IT系统的组件和/或所述IT系统的关系操作的算子，其中所 述表达式为真与否可被求值以确定是否满足所述约束。

3.如权利要求2所述的方法，其特征在于，所述声明性语言具有用于构 造表达式的表达式句法，并且构成所述约束的表达式采用符合所述表达式句法 的形式。

4.如权利要求1所述的方法，其特征在于，所述约束对操作、部署和配 置所述IT系统的约束进行建模。

5.如权利要求1所述的方法，其特征在于，还包括：

将所储存的模型的一实例传递到所述语言的一实现，所述实现至少包括一 类型检查算法并验证所述实例是否满足所述模型的策略。

6.如权利要求1所述的方法，其特征在于，所述类/组件的类型包括主机 类型、服务器类型以及应用类型，并且其中，所述关系类型包括主存关系、依 赖关系、委托关系和通信关系。

7.如权利要求1所述的方法，其特征在于，通过添加一声明来从所述模 型中派生一新模型，该声明或者用新声明扩展所述模型，或者通过限制在所述 模型中声明的类型来限制所述模型。

8.一种或多种储存IT系统的模型的定义的计算机可读介质，所述定义包 括：

声明性语言的源或已编译代码，所述源或已编译代码包括：

软件和硬件组件类型的声明，其中所述组件类型被声明为具有为操作 所述IT系统的策略建模的特性；

组件之间的关系类型的声明，其中所述关系类型被声明为具有对操作 所述IT系统的策略建模的特性；

对所述关系和组件的约束的声明，其中所述约束以对操作所述IT系 统的策略建模的方式约束了关系和组件的组合。

9.如权利要求8所述的一种或多种计算机可读介质，其特征在于，所述 定义还包括扩展或细化操作所述IT系统的策略的限制性派生。

10.如权利要求8所述的一种或多种计算机可读介质，其特征在于，所述 定义指定了所述IT系统中必须对所述IT系统满足的不变量方面。

11.如权利要求8所述的一种或多种计算机可读介质，其特征在于，还储 存了：

指示所述IT系统的状态的信息；以及

用于使用所述定义来确定对所述IT系统的状态的改变是否会违反操作所 述IT系统的策略的组件。

12.如权利要求8所述的一种或多种计算机可读介质，其特征在于，所述 约束中的某一些还包括指示所述约束的分类的信息。

13.如权利要求8所述的一种或多种计算机可读介质，其特征在于，还储 存了通过添加一声明而从所述模型中派生的第二模型的定义，该声明或者用新 声明扩展所述模型，或者通过限制在所述模型中声明的类型限制所述模型。

14，如权利要求8所述的一种或多种计算机可读介质，其特征在于，所述 约束的声明包括表达式，所述表达式包括在组件和/或关系上操作的算子，其中 所述表达式可进行为真与否的求值。