Das Ziel der Kooperation besteht darin, zu untersuchen, wie durch formal
fundierte Hilfsmittel die Qualität funktionaler Spezifikationen verbessert
werden kann, ohne dabei unnötig weit von den bisher in der Industrie
verwendeten Darstellungsformen abzuweichen. Diese Untersuchungen werden
anhand einer von Siemens Öffentliche Netze entwickelten funktionalen
Spezifikation für interaktive Videodienste (``Video on Demand'')
vorgenommen. Dabei werden im einzelnen behandelt:
- Eine formale Fundierung der in den derzeitigen Spezifikationen
verwendeten Diagramm- und Tabellendarstellungen
- Möglichkeiten zur semantischen Analyse einer Spezifikation,
insbesondere Konsistenzuntersuchungen
- Ein formaler Verfeinerungsbegriff für Spezifikationen, der die
Verteilung der Funktionalität des Systems auf physikalische
kommunizierende Einheiten erlaubt
Als Ergebnis dieser Zusammenarbeit wird nicht nur die Erstellung einer
formalen funktionalen Spezifikation des interaktiven Videodienstes
erwartet, sondern insbesondere auch die Beurteilung dieser formalen
Entwicklung hinsichtlich ihrer Machbarkeitsvoraussetzungen sowie ihrer
Wirtschaftlichkeit.
Die Projektberichte zu den einzelnen Projektphasen sind auf Anfrage
erhälich. Weiterhin wurde ein Gesamtbericht zum Projekt zur FME'96
eingereicht und akzeptiert. Er wird hier in Kürze zur Verfügung
stehen.
Eine Fortsetzugng des Projekts ist geplant und in Vorbereitung. Der
Schwerpunkt liegt dabei auf der werkzeuggestützten
Spezifikationsentwicklung.
same information in English