Eine semantische Bedingungen oder Einschränkungen, die eine Einschränkung oder einen Zustand beschreibt. Z. B. eine Einschränkung möglicherweise eine Beschränkung auf einige Datenbereich der Werte oder auf ein bestimmtes Verhalten der Anwendung, oder es könnte sein, eine Beschreibung der einen erforderlichen Zustand des Systems zu einem bestimmten Zeitpunkt.