Declarative system configurations

摘要

A declarative approach is used for system configuration. The declarative approach improves a system's integrity which makes the system more dependable. An overall system model is defined that describes the system as a whole. The models are hierarchical and can reference and incorporate any number of sub-models. The models within the system model are used to define the programs within the system. The system model is applied to a collection of system parameters that produces a statically typed, fully configured system instance. Each system instance may then be checked against established system policies that can express a variety of additional ad hoc rules defining which system instances are acceptable.

主权项

1. A computer-implemented method for configuring a system, comprising:
declaring a system model; wherein the system model specifies a system that describes each of the programs that are used within a configured system; setting system parameters; wherein the system model and the system parameters may be established differently for other systems; evaluating the system model based on the system parameters; and after evaluating the system model creating a system instance based on the evaluation that is unchangeable once created and is used as a current system instance that is used in starting and running on the system until the current system instance is replaced with a different system instance.