Typ: Synchronisation
empfänger: Prüfe, ob Rahmenvertrag vorliegt
fluss: Es ist nur ein Lieferant vorhanden, Lieferant ist ausgewählt
typ: XOR
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
Typ: Ereignis
empfangener fluss: Prüfe, ob Lieferantenauswahl erforderlich ist
gesendeter fluss: Prüfe, ob Rahmenvertrag vorliegt
empfangener fluss: Wähle Lieferant aus