Title: Formal fundierte Modellierung von Geschäftsprozessen