Abstract
The protocol development process, as it was described in the previous chapter, contains several design phases: the service design, the protocol design, and the implementation design. Although the design phases comprise in detail many important and creative design decisions, relatively little attention has been paid to the design issue in the literature. Many publications use the word design in their headlines, but they refer more to the specification and the validation phase rather than to the design process itself. Nowadays protocols are still prevailingly developed empirically using more or less heuristic design methods. In contrast to the other phases of the development process, no established methods or techniques exist for protocol design. Therefore, we restrict ourselves in this chapter to a brief overview of interesting approaches related to systematic protocol design. Since the design process is closely related to the development of the (formal) protocol specification to document design decisions, we also discuss some issues concerning specification development in this chapter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Choi, T. Y.: Sequence Method for Protocol Construction. In: von Bochmann, G.; Sarikaya, B. (eds.): Protocol Specification, Testing, and Verification VII. North-Holland, Amsterdam, pp. 307-321, 1987.
Dorsch, J.; Ek, A.; Gotzhein, R.: SPT - The SDL Pattern Tool. In: Amyot, D.; Williams, W. (eds.), System Modeling and Analysis. LNCS 3319, Springer, pp. 50-64, 2005.
Annual IFIP Working Conference on formal description techniques. In 1996 it was combined with PSTV (Protocol Specification, Testing and Verification). Today it belongs to the DISCOTEC conference series. Proceedings of the FORTE conference cited here are, for instance, [Gotz 96a], [Kim 01] and [Köni 03].
Gotzhein, R.; Schaible, P.: Pattern-based Development of Communication Systems. Annales des Telecommunications 54 (1999) 11-12: 508-525.
Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: a Detailed Case Study. Journal on Information and Software Technology (JIST) 45 (2003) 11: 727-741.
Higashino, T.; Okano, K; Imajo, H.; Taniguchi, K.: Deriving Protocol Specifications from Service Specifications in Extended FSM Models. In: Proc. of 13th International Conference on Distributed Computing Systems (ICDCS-13), 1993, pp. 141–148.
Kant, C.; Higashino, T.; von Bochmann, G.: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing (1996) 10:29-47.
Probert, R. L.; Saleh, K.: Synthesis of Communication Protocols: Survey and Assessment. IEEE Transactions on Computers 40 (1991) 4: 468-475.
Ramamoorthy, C. V.; Dong, S. T.; Usada, Y.: An Implementation of an Automated Protocol Synthesizer (APS) and its Application to the X.21 Protocol. IEEE Transactions on Software Engineering SE-11 (1985) 9: 886 - 908.
Vissers, C. A.; Pires, L. F.; van de Lagemaat, J.: Lotosphere - An Attempt Towards a Design Culture. Proceedings LOTOSPHERE Workshop, Pisa, 1992.
Yamaguchi, H.; El-Fakih, K.; von Bochmann, G.; Higashino, T.: Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets. Computer Networks 51 (2007): 258-284.
Zafiropulo, P.; West, C.H.; Rudin, H.; Cowan, D.D.; Brand, D.: Towards Analyzing and Synthesizing Protocols. IEEE Transactions on Communications COM-28 (1980) 4: 651 - 660.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
König, H. (2012). 10 Design. In: Protocol Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29145-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-29145-6_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29144-9
Online ISBN: 978-3-642-29145-6
eBook Packages: Computer ScienceComputer Science (R0)