Skip to main content
SpringerLink
Log in

Automated Generation of Micro Protocol Descriptions from SDL Design Specifications

  • Conference paper
SDL 2007: Design for Dependable Systems (SDL 2007)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 4745))

Included in the following conference series:

Abstract

A micro protocol is a ready-to-use, self-contained, distributed component that supports structuring of complex communication systems, and reuse of well proven elementary communication solutions. Micro protocol designs can be formally specified with SDL. For documentation purposes and effective reuse, these SDL designs are augmented by further description elements, for instance, typical scenarios capturing the micro protocol service and the interaction of micro protocol entities. In this paper, we show how these additional description elements can be generated from an augmented micro protocol design specification. We have devised a tool that creates a PDF file, containing the complete micro protocol description with graphical elements and a link to the SDL design specification. Our approach enhances the maintenance of micro protocol libraries, and supports the consistency of micro protocol description elements and SDL designs.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Khendek, F., Robert, G., Butler, G., Grogono, P.: Implementability of Message Sequence Charts. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC, Berlin, Germany (June 29 - July 01, 1998)

    Google Scholar 

  2. Fliege, I.: Documentation of micro protocols. Technical Report 358/07 (2007), http://vs.informatik.uni-kl.de/publications/2007/Fl2007/

  3. Fliege, I., Geraldy, A., Gotzhein, R.: Micro Protocol Based Design of Routing Protocols for Ad-hoc Networks. In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco (June 4-8, 2007)

    Google Scholar 

  4. Fliege, I., Geraldy, A., Gotzhein, R., Schaible, P.: A Flexible Micro Protocol Framework. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 224–236. Springer, Heidelberg (2005)

    Google Scholar 

  5. Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler And Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 216–228. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. ITU Recommendation Z.100 (08/02). Specification and Description Language (SDL). Geneva (2002)

    Google Scholar 

  7. Dorsch, J., Ek, A., Gotzhein, R.: SPT - The SDL Pattern Tool. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 50–64. Springer, Heidelberg (2005)

    Google Scholar 

  8. Floch, J., Bræk, R.: Using Projections for the Detection of Anomalous Behaviors. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 251–268. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study. Information and Software Technology 45, 727–741 (2003)

    Article  Google Scholar 

  10. Gotzhein, R., Khendek, F.: Conception avec Micro-Protocoles. In: Colloque Francophone sur l’Ingenierie des Protocoles (CFIP 2002), Montreal, Canada (May 27-30, 2002)

    Google Scholar 

  11. Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design - The SNMP Case Study. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 61–73. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Kuhn, T., Gotzhein, R., Webel, C.: Model-driven development with sdl - process, tools, and experiences. In: ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS / UML 2006), Genua, Italy, October 1-6, 2006, pp. 1–6. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  13. Telelogic AB. Telelogic Tau Generation 1, www.telelogic.com/products/tau/index.cfm

  14. van Heesch, D.: Doxygen (2001), http://stack.nl/~dimitri/doxygen/

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany

    Ingmar Fliege & Reinhard Gotzhein

Authors
  1. Ingmar Fliege
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reinhard Gotzhein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Emmanuel Gaudin Elie Najm Rick Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fliege, I., Gotzhein, R. (2007). Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74984-4_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74983-7

  • Online ISBN: 978-3-540-74984-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation