Method and apparatus for configuration modelling and consistency checking of web applications

A system for checking consistency of a configuration of an information technology system, the system comprising:

• computing devices and a network;
• wherein at least one of the computing devices is configured to develop a model of the configuration based on common criteria functional requirements;
• wherein at least one of the computing devices is configured to extending the common criteria to model the configuration;
• wherein at least one of the computing devices is configured to impose a set of constraints on the configuration model;
• wherein at least one of the computing devices is configured to convert the system configuration to a model instance;
• and
• wherein at least one of the computing devices is configured to verify that the model instance satisfies the set of constraints.

An article comprising machine-readable storage media containing instructions that when executed by a processor enable the processor to treat consistency checking of a configuration of an information technology system, wherein the system comprises computer servers, mainframe computers, and user interfaces, the instructions for facilitating:

• developing a model of the configuration based on common criteria functional requirements;
• extending the common criteria to model the configuration;
• imposing a set of constraints on the configuration model;
• converting the system configuration to a model instance;
• and
• verifying that the model instance satisfies the set of constraints.