- 期刊
- OpenAccess
A Pattern-based Development Methodology for Communication Protocols
並列摘要
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.
被引用紀錄
延伸閱讀
- Suresh, T., & Shunmuganathan, K. L. (2011). Efficient Resource Sharing Architecture for Multistandard Communication System. VLSI Design, 2011(), 22-30. https://doi.org/10.1155/2011/328640
- 唐震（2008）。A Study on Using Network Communication Tools as Coordination Media。資訊管理展望，10(1)，23-43。https://doi.org/10.29715/JIMCSA.200806.0002
- Kung, C. Y. (2022). Communication-Efficient Sequence Reconciliation and Its Application. 管理資訊計算, 11(2), 298-304. https://doi.org/10.6285/MIC.202209_11(2).0023
- 樊國楨（2001）。Preliminary Study on Protecting and Assuring the Information and Communication Infrastructure。電腦與通訊，(95)，63-72。https://doi.org/10.29917/CCLTJ.200103.0011
- 李建億（2006）。A Study of Intercommunication on the Net Project-Based Learning System。科學教育學刊，14(1)，101-120。https://doi.org/10.6173/CJSE.2006.1401.05