Advertisement

Towards the Harmonisation of UML and SDL

  • Rüdiger Grammes
  • Reinhard Gotzhein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3235)

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.

References

  1. 1.
    OMG Unified Modelling Language Specification: Version 2.0 (2003)Google Scholar
  2. 2.
    OMG Unified Modelling Language Specification: Version 1.3 (1999)Google Scholar
  3. 3.
    ITU Recommendation Z.100: Specification and Description Language. Geneva (1999)Google Scholar
  4. 4.
    ITU Recommendation Z.109: SDL combined with UML. Geneva (2000)Google Scholar
  5. 5.
    Selic, B., Rumbaugh, J.: Mapping SDL to UML. Rational Software Whitepaper (1999)Google Scholar
  6. 6.
    Grammes, R., Gotzhein, R.: Towards the Harmonisation of UML and SDL - Syntactic and Semantic Alignment -. Technical Report 327/03, Technical University of Kaiserslautern (2003)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Glässer, U., Gotzhein, R., Prinz, A.: The Formal Semantics of SDL-2000 - Status and Perspectives. Computer Networks 42, 343–358 (2003)CrossRefzbMATHGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2004

Authors and Affiliations

  • Rüdiger Grammes
    • 1
  • Reinhard Gotzhein
    • 1
  1. 1.Department of Computer ScienceUniversity of KaiserslauternKaiserslauternGermany

Personalised recommendations