Paper Info
Title
A pattern-based development methodology for communication protocols
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.
Year
DOI
Venue
2005
10.1145/1066677.1067020
Journal of Information Science and Engineering
Keywords
DocType
Volume
pattern language,pattern-based development methodology,spin model checker,communication protocols,communication protocol,pattern-based specification,complex protocol,pattern-based software development methodology,software quality,design pattern,development methodology,real protocol,development cost,model construction,protocol description,software development methodology
Conference
22
Issue
ISSN
ISBN
2
1016-2364
1-58113-964-0
Citations 
PageRank 
References 
5
0.65
6
Authors
2
Name
Order
Citations
PageRank
Youngjoon Byun1134.09
Beverly A. Sanders239885.34