Formales System und Vorgehensweise zur Modellierung von Geschäftsprozessen