Abstract
UML and SDL are languages for the development of software systems that have different origins, and have evolved separately for many years. Recently, it can be observed that OMG and ITU, the standardisation bodies responsible for UML and SDL, respectively, are making efforts to harmonise these languages. So far, harmonisation takes place mainly on a conceptual level, by extending and aligning the set of language concepts. In this paper, we argue that harmonisation of languages can be approached both from a syntactic and semantic perspective. We show how a common basis can be derived from the analysis of the UML meta-model and the SDL abstract grammar. For this purpose, conceptually sound and well-founded mappings from meta-models to abstract grammars and vice versa are defined and applied. The long term objective is the syntactic and semantic integration of UML and SDL. The key to achieving this objective is a common language core, which can then be extended in different ways to cover further, more specific language concepts, and is sufficiently flexible to support future language add-ins.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
Chapter PDF
Similar content being viewed by others
References
OMG Unified Modelling Language Specification: Version 2.0 (2003)
OMG Unified Modelling Language Specification: Version 1.3 (1999)
ITU Recommendation Z.100: Specification and Description Language. Geneva (1999)
ITU Recommendation Z.109: SDL combined with UML. Geneva (2000)
Selic, B., Rumbaugh, J.: Mapping SDL to UML. Rational Software Whitepaper (1999)
Grammes, R., Gotzhein, R.: Towards the Harmonisation of UML and SDL - Syntactic and Semantic Alignment -. Technical Report 327/03, Technical University of Kaiserslautern (2003)
Börger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 223–241. Springer, Heidelberg (2000)
Glässer, U., Gotzhein, R., Prinz, A.: The Formal Semantics of SDL-2000 - Status and Perspectives. Computer Networks 42, 343–358 (2003)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Grammes, R., Gotzhein, R. (2004). Towards the Harmonisation of UML and SDL. In: de Frutos-Escrig, D., Núñez, M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30232-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive