Abstract
The Specification and Description Language (SDL) is a domain specific language that is well-established in the telecommunication sector since many years, but only a small set of SDL tools is available. In contrast, for the Unified Modeling Language (UML) a wide range of different kinds of tools can be used for various purposes, such as model transformation. In order to makes it possible to specify SDL compliant models with UML, a profile for the combined use of SDL and UML was standardized. This profile also embraces a textual notation for the action language of SDL-UML, which is a subset of the concrete syntax of SDL. Unfortunately, a formal specification of that textual notation is not specified. In order to remedy this gap, in this paper, a model-based approach for the formalization of the textual notation for SDL-UML is presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
International Telecommunication Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z.100/en
International Telecommunication Union: Recommendation Z.109 (06/07), SDL-2000 combined with UML, http://www.itu.int/rec/T-REC-Z.109-200706-I/en
International Telecommunication Union: Recommendation Z.100 Annex F2 (11/00), SDL Formal Definition, Static Semantics, http://www.itu.int/rec/T-REC-Z.100-200011-IAnnF2/en
Object Management Group: Object Constraint Language, OMG Available Specification, Version 2.2 (February 2010), http://www.omg.org/spec/OCL/2.2/PDF
Object Management Group: Unified Modeling Language (UML), Superstructure, V2.3 (May 2010), http://www.omg.org/spec/UML/2.3/Superstructure/PDF
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.0 (April 2008), http://www.omg.org/spec/QVT/1.0/PDF
Kraas, A., Rehm, P.: Results in using the new version of the SDL-UML profile. In: Joint ITU-T and SDL Forum Society Workshop on ITU System Design Languages, Geneva, Switzerland, September 15-16 (2008)
Kraatz, S., Hogrefe, D., Werner, C.: A UML Profile for Communicating Systems. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 1–18. Springer, Heidelberg (2006)
Prinz, A., Scheidgen, M., Tveit, M.: 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)
Grammes, R.: Formalisation of the UML Profile for SDL - A Case Study. Technical Report 352/06, Department of Computer Science, University of Kaiserslautern (2006)
Schmitt, M.: The Development of a Parser for SDL-2000. In: Proceedings of the Tenth GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, pp. 131–142. Shaker Verlag, Ithaca (2009)
The Eclipse Foundation, Eclipse 3.3.2, Open source software, http://www.eclipse.org/platform
Homepage of the Eclipse Modeling Project, http://www.eclipse.org/modeling/
The Stratego/XT Project, http://www.strategoxt.org/
Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical Report 606, TUCS (March 2004)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kraas, A. (2011). A Model-Based Formalization of the Textual Notation for SDL-UML. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)