Keywords: development methodology, communication protocol, design pattern, communicating extended finite state machine, SPIN model checker, V.76 protocol
Received July 1, 2005; accepted November 24, 2005.
Communicated by Sung Shin.
| Previous | [ 1] | [ 2] | [ 3] | [ 4] | [ 5] | [ 6] | [ 7] | [ 8] | [ 9] | [ 10] | [ 11] | [ 12] | [ 13] | [ 14] |
¡@
YoungJoon Byun and Beverly A. Sanders*
School of Engineering and Engineering Technology
The Pennsylvania State University at Erie
Erie, PA 16563, U.S.A.
*Department of Computer and Information Science and Engineering
University of Florida
Gainesville, FL 32611, U.S.A.
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 present a case study for the development of a V.76
protocol.
Received July 1, 2005; accepted November 24, 2005.
Communicated by Sung Shin.