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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
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
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
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
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
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
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)
Löwis, M.V.: Formale Semantik des Datentypmodells von SDL-2000. Humboldt-Universität zu Berlin, Berlin (2003)
Prinz, A.: Formal Semantics for SDL - Definition and Implementation. Humboldt-Universität zu Berlin, Berlin (2001)
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)
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)
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)
Schröder, R.: SDL-Datenkonzepte - Analyse und Verbesserungen. Humboldt-Universität zu Berlin, Berlin (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)