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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
ITU Recommendation Z.100 (03/93): Specification and Description Language (SDL). Geneva (1993)
ITU Recommendation Z.100 Addendum 1 (10/96): Specification and Description Language (SDL). Geneva (1996)
ITU Recommendation Z.100 (08/02): Specification and Description Language (SDL). Geneva (2002)
ITU Recommendation Z.100 (2002) Corrigendum 1 (08/04): Specification and Description Language (SDL). Geneva (2004)
ITU Recommendation Z.100 (2002) Amendment 1 (10/03): Specification and Description Language (SDL). Geneva (2003)
Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)
Gurevich, Y.: May 1997 draft of the ASM guide. Technical Report CSE-TR-336-97, EECS Department, University of Michigan (1997)
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)
ITU Study Group 10: Draft Z.100 Annex F1 (11/00) (2000)
ITU Study Group 10: Draft Z.100 Annex F2 (11/00) (2000)
ITU Study Group 10: Draft Z.100 Annex F3 (11/00) (2000)
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
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)
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)
OMG Unified Modelling Language Specification: Version 2.0 (2003), http://www.uml.org
Nowack, A.: Slicing Abstract State Machines. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 186–201. Springer, Heidelberg (2004)
Weber, C.: Entwurf und Implementierung eines konfigurierbaren SDL Transpilers für eine C++ Laufzeitumgebung. Master’s thesis, University of Kaiserslautern, Germany (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grammes, R. (2006). Formal Operations for SDL Language Profiles. In: Gotzhein, R., Reed, R. (eds) System Analysis and Modeling: Language Profiles. SAM 2006. Lecture Notes in Computer Science, vol 4320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951148_4
Download citation
DOI: https://doi.org/10.1007/11951148_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68371-1
Online ISBN: 978-3-540-68373-5
eBook Packages: Computer ScienceComputer Science (R0)