104
2 Spezifikation und Modellierung
tionsanforderungen ergeben sich aus Aufrufen der Schnittstellenfunktionen dieser
Kanalmodelle, welche die Details des Informationsaustausches kapseln. Auf der
Transaktionsebene liegt die Betonung mehr auf der Funktionalität des Datentransfers – welche Daten werden woher und wohin transportiert – und weniger bei der
tatsächlichen Implementierung, d.h. beim tatsächlich für den Transfer benutzten
Protokoll. Dieser Ansatz macht es für den Systemdesigner einfacher, beispielsweise
mit verschiedenen Busarchitekturen, die alle gemeinsame Schnittstellen haben, zu
experimentieren, ohne dabei die Modelle abzuändern, die mit diesen Bussen interagieren. Dabei ist vorausgesetzt, dass diese Modelle mit dem Bus (nur) über die
gemeinsamen Schnittstellen kommunizieren.”
Eine detaillierte Unterscheidung zwischen verschiedenen Zeitmodellen wurde
von Cai and Gajski [83] beschrieben. Sie unterscheiden zwischen Zeitmodellen für
die Kommunikation und für Berechnungen19. Cai and Gajski betrachten verschiedene Fälle von Zeitmodellen, abhängig davon, wie präzise Kommunikation und
Berechnungen modelliert werden.
Sowohl für Berechnungen wie auch für die Kommunikation differenzieren wir
zwischen keiner Zeitmodellierung, näherungsweiser Zeitmodellierung und zyklengenauer Zeitmodellierung. In der Abb. 2.65 markieren Kreuze unausgewogene Kombinationen von Zeitmodellen, die von Cai and Gajski nicht betrachtet wurden. Damit
zyklengenau
näherungsweise
C
D
F
E
Kommunikation
Berechnung
zyklengenau
Zeitmodellierung
Zeitmodellierung
näherungsweise
keine
Zeitmodellierung
keine
Zeitmodellierung
A
B
Abb. 2.65 Unterschiede zwischen verschiedenen Zeitmodellen
verbleiben noch sechs mögliche Fälle [83]:
A
Keine Zeitmodellierung: wir betrachten nur die Funktionalität und betrachten überhaupt keine Zeiten. Solche Modelle sind für frühe Entwurfsphasen
angebracht. Man kann sie Spezifikationsmodell nennen.
B
Wir können im Spezifikationsmodell reine Verhaltensbeschreibungen durch
Beschreibungen von Komponenten mit einem groben Zeitmodell ersetzen.
19 Dies entspricht derselben Unterscheidung, die wir in Tabelle 2.1 auf Seite 44 vorgenommen
haben.
2 Spezifikation und Modellierung
tionsanforderungen ergeben sich aus Aufrufen der Schnittstellenfunktionen dieser
Kanalmodelle, welche die Details des Informationsaustausches kapseln. Auf der
Transaktionsebene liegt die Betonung mehr auf der Funktionalität des Datentransfers – welche Daten werden woher und wohin transportiert – und weniger bei der
tatsächlichen Implementierung, d.h. beim tatsächlich für den Transfer benutzten
Protokoll. Dieser Ansatz macht es für den Systemdesigner einfacher, beispielsweise
mit verschiedenen Busarchitekturen, die alle gemeinsame Schnittstellen haben, zu
experimentieren, ohne dabei die Modelle abzuändern, die mit diesen Bussen interagieren. Dabei ist vorausgesetzt, dass diese Modelle mit dem Bus (nur) über die
gemeinsamen Schnittstellen kommunizieren.”
Eine detaillierte Unterscheidung zwischen verschiedenen Zeitmodellen wurde
von Cai and Gajski [83] beschrieben. Sie unterscheiden zwischen Zeitmodellen für
die Kommunikation und für Berechnungen19. Cai and Gajski betrachten verschiedene Fälle von Zeitmodellen, abhängig davon, wie präzise Kommunikation und
Berechnungen modelliert werden.
Sowohl für Berechnungen wie auch für die Kommunikation differenzieren wir
zwischen keiner Zeitmodellierung, näherungsweiser Zeitmodellierung und zyklengenauer Zeitmodellierung. In der Abb. 2.65 markieren Kreuze unausgewogene Kombinationen von Zeitmodellen, die von Cai and Gajski nicht betrachtet wurden. Damit
zyklengenau
näherungsweise
C
D
F
E
Kommunikation
Berechnung
zyklengenau
Zeitmodellierung
Zeitmodellierung
näherungsweise
keine
Zeitmodellierung
keine
Zeitmodellierung
A
B
Abb. 2.65 Unterschiede zwischen verschiedenen Zeitmodellen
verbleiben noch sechs mögliche Fälle [83]:
A
Keine Zeitmodellierung: wir betrachten nur die Funktionalität und betrachten überhaupt keine Zeiten. Solche Modelle sind für frühe Entwurfsphasen
angebracht. Man kann sie Spezifikationsmodell nennen.
B
Wir können im Spezifikationsmodell reine Verhaltensbeschreibungen durch
Beschreibungen von Komponenten mit einem groben Zeitmodell ersetzen.
19 Dies entspricht derselben Unterscheidung, die wir in Tabelle 2.1 auf Seite 44 vorgenommen
haben.