Verteilungstransparenz bei der objektorientierten Spezifikation verteilter Applikationen
Klaus-Peter Löhr
Institut für Informatik
Freie Universität Berlin
email: lohr@inf.fu-berlin.de
Report B 95-08
Mai 1995
Get the report here or by anonymous ftp:
Server: fubinf.inf.fu-berlin.de
File: pub/reports/tr-b-95-08.ps.gz
Verteilungstransparenz bei der objektorientierten Spezifikation verteilter Applikationen
Verteilte Applikationen werden heute zunehmend verteilungstransparent programmiert. Wenn man schon bei der Programmierung weitgehend von verteilungsbedingten technischen Details abstrahieren kann, erhofft man sich dies natürlich erst recht für die Spezifikation. Bei genauerem Hinsehen zeigt sich allerdings, dass manche Transparenzdefizite der Implementierung schon bei der Spezifikation berücksichtigt werden müssen, und zwar auch bei sorgfältiger objektorientierter Strukturierung. Die vorliegende Arbeit erläutert die Problematik anhand einer in Object-Z formulierten Beispielapplikation und zeigt auf, was beim Entwurf zu beachten ist.