Object-oriented modeling and design
Object-oriented modeling and design
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Design patterns for object-oriented software development
Design patterns for object-oriented software development
Methodology for real time systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
View-based animation of communication protocols in design and in operation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
SDL'03 Proceedings of the 11th international conference on System design
Development of distributed systems with SDL by means of formalized APIs
SDL'03 Proceedings of the 11th international conference on System design
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Hi-index | 0.00 |
The paper presents a case study on the design of communication protocols using formalized design patterns. On principle, the approach adopts the well-known 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 tool-supported 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 SDL-pattern within the embedding context. An SDL-pattern based re-engineering of the Internet Stream Protocol ST2+ is presented. In particular, it is demonstrated how SDL-pattern based design can boost the developer's confidence in the resulting product.