Skip to main content
SpringerLink
Log in

Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements

  • Conference paper
  • First Online:
SDL 2015: Model-Driven Engineering for Smart Cities (SDL 2015)

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

Included in the following conference series:

  • 664 Accesses

Abstract

The Specification and Description Language (SDL) is a formal specified and standardized modeling language, which is mainly used to specify protocols as well as distributed systems. The two algorithms ‘Resolution by Container’ and ‘Resolution by Context’ are specified for name resolution of identifiers in SDL specifications. In this paper, problems that were identified during an implementation of the ‘Resolution by Context’ algorithm are discussed. In addition, possible enhancements to remedy the identified problems are presented.

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 EPUB and 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

References

  1. International Telecommunication Union: ITU-T Recommendation Z.100 (12/11), Specification and Description Language - Overview of SDL-2010. http://www.itu.int/rec/T-REC-Z.100-201112-I/en

  2. International Telecommunication Union: ITU-T Recommendation Z.101 (12/11), Specification and Description Language - Basic SDL-2010. http://www.itu.int/rec/T-REC-Z.101/en

  3. International Telecommunication Union: ITU-T Recommendation Z.109 (10/13), Specification and Description Language - Unified Modeling Language Profile for SDL-2010. http://www.itu.int/rec/T-REC-Z.109/en

  4. International Telecommunication Union: ITU-T Recommendation Z.100 Annex F1 (01/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: General Overview. http://www.itu.int/rec/T-REC-Z.100/en

  5. International Telecommunication Union: ITU-T Recommendation Z.100 Annex F2 (01/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: Static Semantics. http://www.itu.int/rec/T-REC-Z.100/en

  6. International Telecommunication Union: ITU-T Recommendation Z.100 Annex F3 (01/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: Dynamic Semantics. http://www.itu.int/rec/T-REC-Z.100/en

  7. Kraas, A.: Towards an extensible modeling and validation framework for SDL-UML. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 255–270. Springer, Heidelberg (2014)

    Google Scholar 

  8. Löwis, M.V.: Formale Semantik des Datentypmodells von SDL-2000. Humboldt-Universität zu Berlin, Berlin (2003)

    Google Scholar 

  9. Prinz, A.: Formal Semantics for SDL - Definition and Implementation. Humboldt-Universität zu Berlin, Berlin (2001)

    Google Scholar 

  10. Prinz, A., Löwis, M.V.: Generating a compiler for SDL from the formal language definition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 150–165. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Prinz, A., Scheidgen, M., Tveit, M.S.: A model-based standard for SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 1–18. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Schmitt, M.: The development of a parser for SDL-2000. In: Tenth GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, pp. 131–142. Shaker Verlag (2009)

    Google Scholar 

  13. Schröder, R.: SDL-Datenkonzepte - Analyse und Verbesserungen. Humboldt-Universität zu Berlin, Berlin (2003)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Poppenreuther Str. 45, 90419, Nürnberg, Germany

    Alexander Kraas

Authors
  1. Alexander Kraas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Kraas .

Editor information

Editors and Affiliations

  1. Humboldt-Universität zu Berlin, Berlin, Germany

    Joachim Fischer

  2. Humboldt-Universität zu Berlin, Berlin, Germany

    Markus Scheidgen

  3. Fraunhofer FOKUS, Berlin, Germany

    Ina Schieferdecker

  4. Telecommunications Software Engineering, Windermere, United Kingdom

    Rick Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Kraas, A. (2015). Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds) SDL 2015: Model-Driven Engineering for Smart Cities. SDL 2015. Lecture Notes in Computer Science(), vol 9369. Springer, Cham. https://doi.org/10.1007/978-3-319-24912-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24912-4_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24911-7

  • Online ISBN: 978-3-319-24912-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation