Title: Formale Methodik des Entwurfs verteilter objektorientierter Systeme