Title: Ein Prozessorientierter Ansatz Zur Formalen Spezifikation Von Projekten