Skip to main content

10 Design

  • Chapter
  • First Online:
Protocol Engineering
  • 1494 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 89.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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].

    Google Scholar 

  4. Gotzhein, R.; Schaible, P.: Pattern-based Development of Communication Systems. Annales des Telecommunications 54 (1999) 11-12: 508-525.

    Google Scholar 

  5. 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.

    Article  Google Scholar 

  6. 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.

    Google Scholar 

  7. Kant, C.; Higashino, T.; von Bochmann, G.: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing (1996) 10:29-47.

    Article  Google Scholar 

  8. Probert, R. L.; Saleh, K.: Synthesis of Communication Protocols: Survey and Assessment. IEEE Transactions on Computers 40 (1991) 4: 468-475.

    Article  Google Scholar 

  9. 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.

    Article  Google Scholar 

  10. Vissers, C. A.; Pires, L. F.; van de Lagemaat, J.: Lotosphere - An Attempt Towards a Design Culture. Proceedings LOTOSPHERE Workshop, Pisa, 1992.

    Google Scholar 

  11. 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.

    Article  MATH  Google Scholar 

  12. 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hartmut König .

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics