Typ: Fluss
empfänger: Es liegt ein Kontrakt vor
sender: Prüfe, ob Rahmenvertrag vorliegt, Prüfe, ob Rahmenvertrag vorliegt -> Es liegt kein Kontrakt vor
Typ: Ereignis
empfangener fluss: Prüfe, ob Rahmenvertrag vorliegt
gesendeter fluss: Wähle Kontrakt aus
Typ: Funktion
empfangener fluss: Es ist nur ein Lieferant vorhanden -> Prüfe, ob Rahmenvertrag vorliegt, Lieferant ist ausgewählt -> Prüfe, ob Rahmenvertrag vorliegt
gesendeter fluss: Prüfe, ob Rahmenvertrag vorliegt -> Es liegt ein Kontrakt vor, Prüfe, ob Rahmenvertrag vorliegt -> Es liegt kein Kontrakt vor
empfänger: Es liegt kein Kontrakt vor
sender: Prüfe, ob Rahmenvertrag vorliegt -> Es liegt ein Kontrakt vor, Prüfe, ob Rahmenvertrag vorliegt