Bei der UML-Modellierung ist ein Auslöser ein Ereignis, das einen Übergang von einem Zustand in einen anderen Zustand einleitet. Eine Wächterbedingung ist eine Boolesch-Bedingung, die erfüllt werden muss, damit ein Übergang stattfindet. Ein Effekt ist die Aktion oder Aktivität, die beim Eintritt eines Übergangs stattfindet.