Eine Spezifikation für den Satz von Bedingungen, die, wenn erfüllt, wird eine Benachrichtigung auslösen.