A pattern-based development methodology for communication protocols

Authors:
YoungJoon Byun;Beverly A. Sanders
Affiliations:
The Pennsylvania State University at Erie, Erie, PA;University of Florida, Gainesville, FL
Venue:
Proceedings of the 2005 ACM symposium on Applied computing
Year:
2005

Citing 5
Cited 1

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Design Patterns in Communication Software

Design Patterns in Communication Software
Validating SDL Specifications: an Experiment

Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX

Model-driven protocol design based on component oriented modeling

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Patterns help to improve software quality and reduce development cost by documenting the experience of experts so that good solutions to recurring problems can be reused. In this paper, we propose a pattern-based software development methodology for communication protocols, particularly focusing on the specification and validation of message interactions. For the description of communication protocols, we propose a set of patterns. A complex protocol can be obtained by composing such patterns. To provide confidence in the protocol description, we validate the pattern-based specification by using the SPIN model checker. The validation phase needs model construction for the specification and checks the desired properties of the developing protocol. To show the feasibility of our methodology, we have conducted several case studies on real protocols.