Verteilungstransparenz bei der objektorientierten Spezifikation verteilter Applikationen