Et semantisk betingelse eller en restriktion, der beskriver en begrænsning eller staten. For eksempel en begrænsning kunne være en begrænsning af nogle dataområde af værdier eller på nogle funktionsmà ¥ den for ansøgningen, eller det kunne være en beskrivelse af en nødvendig tilstand af systemet på et bestemt punkt i tid.