Abstract
The Specification and Description Language (SDL) has been a domain specific language that is well-established in the telecommunication sector for many years, but only a small set of SDL tools is available. In contrast, a wide range of different kinds of tools can be used for various purposes, such as model transformation, for the Unified Modeling Language (UML). The UML profile for SDL (SDL-UML) makes it possible to specify SDL compliant models in terms of a UML model. In this paper, the extensible SDL-UML Modeling and Validation (SU-MoVal) framework, which supports the specification and validation of models that are compliant to Z.109, is presented. As an additional feature, the SU-MoVal framework also provides an editor for the specification of a textual notation that is mapped to corresponding SDL-UML elements.
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
Grammes, R.: Formalisation of the UML Profile for SDL – A Case Study. Technical Report 352/06, Department of Computer Science, University of Kaiserslautern (2006)
Kraas, A.: A Model-Based Formalization of the Textual Notation for SDL-UML. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 218–232. Springer, Heidelberg (2011)
IBM: IBM Rational SDL and TTCN Suite 6.3, User Manual (April 2009)
International Telecommunication Union: 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: Recommendation Z.102 (12/11), Specification and Description Language – Comprehensive SDL-2010, http://www.itu.int/rec/T-REC-Z.102/en
International Telecommunication Union: 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
Object Management Group: Object Constraint Language (OCL). Version 2.4. OMG Document Number: formal/2014-02-03, http://www.omg.org/spec/OCL/2.4/PDF
Object Management Group: OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.4.1. OMG Document Number: formal/2011-08-06, http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Version 1.1. OMG Document Number: formal/2011-01-01, http://www.omg.org/spec/QVT/1.1/PDF/
Pragmadev: Real Time Developer Studio User Manual, Real Time Developer Studio V4.3, www.pragmadev.com/downloads/UserManual.pdf
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)
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 (2009)
SDL-UML Modeling and Validation (SU-MoVal) framework, http://www.su-moval.org/
The Eclipse Foundation, Eclipse Kepler (4.3.2) – Eclipse Modeling Tools, http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/keplersr2
The Spoofax Language Workbench, Spoofax 1.1, http://strategoxt.org/Spoofax/
UniqueSoft, UniqueSoft Modeling Tool Suite, http://www.uniquesoft.com/modeling-tool-suite.html
Werner, C., Kraatz, S., Hogrefe, D.: A UML Profile for Communicating Systems. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 1–18. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kraas, A. (2014). Towards an Extensible Modeling and Validation Framework for SDL-UML. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-11743-0_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11742-3
Online ISBN: 978-3-319-11743-0
eBook Packages: Computer ScienceComputer Science (R0)