Kurzfassung

Im Bereich der Telekommunikationsnetze kommt derzeit u.a. die Methode GDMO (Guidelines for the definition of managed objects) für die Spezifikation von TMN-konformen (TMN = Telecommunication Management Network) Systemen zum Einsatz. Der praktische Umgang mit GDMO hat gezeigt, dass die Methode in verschiedener Hinsicht zu überarbeiten ist: Vor allem fehlen in GDMO geeignete Mittel zur formalen Beschreibung des Verhaltens von Objekten. In diesem Zusammenhang wird untersucht, inwieweit sich...Im Bereich der Telekommunikationsnetze kommt derzeit u.a. die Methode GDMO (Guidelines for the definition of managed objects) für die Spezifikation von TMN-konformen (TMN = Telecommunication Management Network) Systemen zum Einsatz. Der praktische Umgang mit GDMO hat gezeigt, dass die Methode in verschiedener Hinsicht zu überarbeiten ist: Vor allem fehlen in GDMO geeignete Mittel zur formalen Beschreibung des Verhaltens von Objekten. In diesem Zusammenhang wird untersucht, inwieweit sich SDL'92 und (objekt-orientiertes) Z als Ergänzung zu oder Ersatz von GDMO eignen. Auf der Basis einer im FTZ Darmstadt entwickelten GDMO-Spezifikation für einen repräsentativen TMN-Dienst wird eine Spezifikation in objekt-orientiertem) Z bzw. eine SDL'92-Spezifikation erarbeitet und mit der zugrundeliegenden GDMO-Spezifikation bezüglich Erstellungsprozess, Analysierbarkeit, Codegenerierung verglichen. Ausgehend von diesem Vergleich wird ein Vorschlag für die Verhaltensbeschreibung in GDMO erarbeitet. Weitere Informationen: ebert@informatik.uni-koblenz.de.» weiterlesen» einklappen