En semantisk villkor eller begränsningar som beskriver en begränsning eller staten. Till exempel en begränsning kan vara en begränsning av vissa dataområde värden eller på vissa beteendet för ansökan, eller det kan vara en beskrivning av ett krävs tillstånd av system vid en viss tidpunkt.