Abstract
The past decade has seen much research on a model-based language development of the Specification and Description Language (SDL) and a corresponding Unified Modeling Language (UML) profile. However, as far it is still not possible to derive a UML profile for SDL automatically; instead it has to be created by hand, which is error-prone and time-consuming.
To remedy this limitation, we present a publicly available metamodel for SDL, which was semi-automatically generated based on SDL’s syntax rules. In addition, we automatically derive a UML profile in a novel way so that SDL’s static semantics is automatically transferred from the metamodel.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Names within quotation marks and written in italic style refer to UML elements or attributes as specified by the UML Superstructure [17].
- 2.
- 3.
- 4.
References
Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels, Turku Centre Comput. Sci., Finland, Technical report 606 (2004)
Efftinge, S., Völter, M.: oAW xText: a framework for textual DSLs. In: Modeling Symposium at Eclipse Summit, vol. 32, pp. 118–121 (2006). eclipsecon.org
Fischer, J., Piefel, M., Scheidgen, M.: A metamodel for SDL-2000 in the context of metamodelling ULF. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 208–223. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31810-1_14
Giachetti, G., Marín, B., Pastor, O.: Integration of domain-specific modelling languages and UML through UML profile extension mechanism. Int. J. Comput. Sci. Applicat. 6(5), 145–174 (2009)
Giachetti, G., Marín, B., Pastor, O.: Using UML as a domain-specific modeling language: a proposal for automatic generation of UML profiles. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 110–124. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02144-2_13
Grammes, R.: Syntactic and semantic modularisation of modelling languages. Ph.D. thesis, Department of Computer Science, TU Kaiserslautern, Germany (2007)
ITU-T: Recommendation Z.109: Specification and Description Language - SDL combined with UML. International Telecommunication Union (1999)
ITU-T: Recommendation Z.111: Notations and guidelines for the definition of ITU-T languages. International Telecommunication Union (2008)
ITU-T: Recommendation Z.100: Specification and Description Language - Overview of SDL-2010. International Telecommunication Union (2016)
ITU-T: Recommendation Z.109: Specification and Description Language - Unified Modeling Language profile for SDL-2010. International Telecommunication Union (2016)
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, Cham (2014). doi:10.1007/978-3-319-11743-0_18
Kraas, A.: On the automated derivation of domain-specific UML profiles. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 3–19. Springer, Cham (2017). doi:10.1007/978-3-319-61482-3_1
OMG: MOF Model to Text Transformation Language - Version 1.0. Object Management Group (2008)
OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification - Version 1.1. Object Management Group (2011)
OMG: OMG Meta Object Facility (MOF) Core Specification - Version 2.5. Object Management Group (2011)
OMG: OMG Unified Modeling Language (OMG UML), Infrastructure, Version 2.4.1. Object Management Group (2011)
OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1. Object Management Group (2011)
OMG: Object Constraint Language - Version 2.4. Object Management Group (2014)
Pastor, O., Giachetti, G., Marín, B., Valverde, F.: Automating the interoperability of conceptual models in specific development domains. Domain Engineering: Product Lines. Languages, and Conceptual Models, pp. 349–373. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36654-3_14
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). doi:10.1007/978-3-540-74984-4_1
Scheidgen, M.: Description of languages based on object-oriented meta-modelling. Ph.D. thesis, Math.-Natural Sci. Dept. II, HU Berlin, Germany (2009)
SDL-UML Modeling and Validation (SU-MoVal) framework homepage. http://www.su-moval.org/. Accessed 24 Feb 2017
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). doi:10.1007/11951148_1
Wimmer, M.: A semi-automatic approach for bridging DSMLs with UML. Int. J. Web Inform. Sys. 5(3), 372–404 (2009)
Acknowledgments
We thank Gerald Lüttgen of the Software Technologies Research Group at the University of Bamberg, Germany, for several discussions and comments on the paper’s topic. Furthermore, we also thank the reviewers for their many valuable remarks.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Kraas, A. (2017). Automated Tooling for the Evolving SDL Standard: From Metamodels to UML Profiles. In: Csöndes, T., Kovács, G., Réthy, G. (eds) SDL 2017: Model-Driven Engineering for Future Internet. SDL 2017. Lecture Notes in Computer Science(), vol 10567. Springer, Cham. https://doi.org/10.1007/978-3-319-68015-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-68015-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68014-9
Online ISBN: 978-3-319-68015-6
eBook Packages: Computer ScienceComputer Science (R0)