Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL
B. Geppert, F. Rößler, P. Schaible
SFB 501 Report 12/1997
Zusammenfassung
The report presents a case study on the design of communication protocols using formalized design patterns. On principle, the approach adopts the wellknown design patterns concept for reusing design solutions. However, a formal description technique (FDT) is applied as design language and therefore knowledge about pattern instantiation or its impact on the embedding context can be precisely specified. We consider formalization to be a prerequisite for increased correctness of resulting products and toolsupported pattern application. The FDT of our choice is the specification and description language SDL. Thus pattern application follows strict rules in terms of the SDL syntax. Additionally, assumptions and effects stated in terms of the SDL semantics help to ensure the intended working of an SDLpattern within the embedding context. An SDLpattern based reengineering of the Internet Stream Protocol ST2+ is presented. In particular, it is demonstrated how SDLpattern based design can boost the developer's confidence in the resulting product.
Vollversion
- ps.gz (131kb)
Übergeordnete Seite: Jahr 1997 | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |