Von der Information der Fahrgäste zur Interaktion mit den Fahrgästen – Potenziale formalisierter Geschäftsprozesse im ÖPNV am Beispiel der Anschlusssicherung