Die folgenden Ausschnitte eines Anwendungsfalldiagramms modellieren jeweils denselben Ausschnitt aus dem Reservierungssystem einer Fluggesellschaft aus funktionaler Sicht.

Dem Passagier wird beim Check-in eine Mahlzeit zugeteilt. Die zugeteilte Mahlzeit kann eine Standard-Mahlzeit oder eine vegane Mahlzeit sein. Nur wenn ein Passagier aus einem Drittstaat kommt, muss das Visum überprüft werden.

Welche/s Modell/e kann/können diesen Sachverhalt am besten modellieren?