Advertisement

Formal Operations for SDL Language Profiles

  • Rüdiger Grammes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4320)

Abstract

Expressive system modelling languages lead to language definitions that are long and hard to understand. Tool support for these languages is hard to implement, and often only parts of the language are supported. In this paper we introduce the concept of language profiles as well-defined subsets of a language with formal syntax and semantics as the basis for tool support. We outline two approaches to generate language profiles for SDL from the complete formal semantics definition, and provide a formalisation for a reduction-based approach, on which a tool for this approach is based.

Keywords

Formal Semantic Abstract Syntax Composite State Language Module Spontaneous Transition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ITU Recommendation Z.100 (03/93): Specification and Description Language (SDL). Geneva (1993)Google Scholar
  2. 2.
    ITU Recommendation Z.100 Addendum 1 (10/96): Specification and Description Language (SDL). Geneva (1996)Google Scholar
  3. 3.
    ITU Recommendation Z.100 (08/02): Specification and Description Language (SDL). Geneva (2002)Google Scholar
  4. 4.
    ITU Recommendation Z.100 (2002) Corrigendum 1 (08/04): Specification and Description Language (SDL). Geneva (2004)Google Scholar
  5. 5.
    ITU Recommendation Z.100 (2002) Amendment 1 (10/03): Specification and Description Language (SDL). Geneva (2003)Google Scholar
  6. 6.
    Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)Google Scholar
  7. 7.
    Gurevich, Y.: May 1997 draft of the ASM guide. Technical Report CSE-TR-336-97, EECS Department, University of Michigan (1997)Google Scholar
  8. 8.
    Prinz, A., von Löwis, M.: Generating a Compiler for SDL from the Formal Language Definition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 150–165. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    ITU Study Group 10: Draft Z.100 Annex F1 (11/00) (2000)Google Scholar
  10. 10.
    ITU Study Group 10: Draft Z.100 Annex F2 (11/00) (2000)Google Scholar
  11. 11.
    ITU Study Group 10: Draft Z.100 Annex F3 (11/00) (2000)Google Scholar
  12. 12.
    SDL Task Force: SDL+ - The Simplest, Useful Enhanced SDL-Subset for the Implementation and Testing of State Machines (2004), www.sdltaskforce.org/sdl-tf-draftresult_4.pdf, www.sdltaskforce.org/sdl-plus_syntax.html, www.sdltaskforce.org/sdl-plus_codec.html
  13. 13.
    Glässer, U., Gotzhein, R., Prinz, A.: An Introduction To Abstract State Machines. Technical Report 326/03, Department of Computer Science, University of Kaiserslautern (2003)Google Scholar
  14. 14.
    von Löwis, M., Piefel, M.: The Term Processor Kimwitu++. In: Callaos, N., Harnandez-Encinas, L., Yetim, F. (eds.) SCI 2002: The 6th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, USA (2002)Google Scholar
  15. 15.
    OMG Unified Modelling Language Specification: Version 2.0 (2003), http://www.uml.org
  16. 16.
    Nowack, A.: Slicing Abstract State Machines. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 186–201. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Weber, C.: Entwurf und Implementierung eines konfigurierbaren SDL Transpilers für eine C++ Laufzeitumgebung. Master’s thesis, University of Kaiserslautern, Germany (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Rüdiger Grammes
    • 1
  1. 1.Computer Science DepartmentUniversity of KaiserslauternKaiserslauternGermany

Personalised recommendations