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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)