This example shows how you can use a constraint to define that certain relationships are false. The constraint checks that such relationships do not occur in the configuration. If the relationship defined as false occurs in the configuration, you see an inconsistency message.

First, you want to define that a server cannot run with operating system OS2.

Dependency net: C_Server

Dependency: No_OS2_as_Server

Under OBJECTS: you define that the constraint refers to a server. The server is referred to by class ‘300’ C_Server to which it is allocated.

Under CONDITION: you define that the constraint is only valid if the value OS2 is selected for characteristic c_operating_system.

Under RESTRICTIONS: you define that the above condition always leads to an inconsistency. This means that operating system OS2 cannot be selected for the server.

You allocate the dependency net containing the constraint to both the company network and the department network. Since you can order the department network without ordering the company network, it is important to ensure the consistency of the department network, too.