MuPAD Report: Ein denotationales Modell für ... - webexams.ch

12 KAPITEL 2. ALLGEMEINES DESIGN
kann man eine globale Zeit einführen, indem die Zeit eines der Objekte als globale Zeit
festgelegt wird. Die Uhren, die in den anderen Objekten sitzen, können diese globale
Zeit (abgesehen von sowieso unvermeidlichen Meßungenauigkeiten) nicht direkt messen.
Wenn die Objekte ihre relative Geschwindigkeit zu dem Objekt kennen, so können sie
ihre eigene Zeit entsprechend umrechnen (mit entsprechenden Ungenauigkeiten).
In dieser Arbeit wird davon ausgegangen, daß eine globale Zeit existiert. Hat ein Objekt
nicht die Möglichkeit, die globale Zeit exakt zu messen, so wird das Objekt dadurch
undeterminiert (wenn es nicht ohnehin schon undeterminiert war).
2.2.2 Kontinuierliche Zeit
In dieser Arbeit wird nicht genau festgelegt, welche Menge zur Repräsentation von Zeit
benutzt wird, allerdings kann nicht jede Menge verwendet werden. Der Autor erachtet
es als wichtig, daß die Menge der nicht-negativen reellen Zahlen zur Repräsentation von
Zeit benutzt werden kann, da physikalische Prozesse natürlicher Weise mit Hilfe der reellen
Zahlen als Zeit beschrieben werden. Auch physikalische Prozesse sollen mit Hilfe
von gMobSbeschreibbar sein, um zum einen der Allgemeinheitsforderung von gMobS zu
entsprechen und zum anderen, um auf natürliche Weise das Zusammenspiel von physikalischen
Prozessen und Computerprogrammen modellieren zu können.
Wichtig erscheint dem Autor auch, daß die Menge der natürlichen Zahlen zur Repräsentation
von Zeit benutzt werden kann, da dies die Menge ist, die traditioneller Weise in
der Informatik verwendet wird. Zu beachten ist, daß die Menge der nicht-negativen rationalen
Zahlen aus technischen Gründen nicht eingesetzt werden kann (im Beweis von Satz
(6.15) könnte eine Rechnung nicht beliebig fortgesetzt werden). Dies ist nach Meinung
des Autors kein echtes Problem, da immer, wenn die rationalen Zahlen als Zeit verwendet
werden sollen, auch die reellen Zahlen benutzt werden können.
2.3 Kommunikation
2.3.1 Kommunikation durch Handshaking
Milner vertritt in dem Buch [130] die Meinung, daß Kommunikation und Parallelität
komplementär zueinander stehen und daß Kommunikation mit Hilfe von Handshaking
das grundlegende Konzept sein sollte. Am Beispiel von Schaltkreisen und neuronalen
Netzen erkennt man, daß Kommunikation und Parallelität nur komplementär zueinander
sind, wenn die Rechnungen der Objekte nicht durch die Zeit automatisch synchronisiert
werden. Denn Schaltkreise und neuronale Netze sind in einem sehr hohen Maße parallel,
obwohl sie ständig miteinander kommunizieren. Der Handshaking Mechanismus hat zumindest
im Zusammenhang mit einem objektbasierten Modell den Nachteil, daß dadurch
das Prinzip der Einkapselung verletzt wird, da ein Objekt den internen Zustand der anderen
Objekte kennen muß, um mit ihnen kommunizieren zu können. Eine kontinuierliche
Kommunikation scheint mit Handshaking kaum modellierbar.