Abstract
Language descriptions have much information captured in plain (English) text, and even the formalised parts are often informally connected with the overall language definition. These imprecise descriptions are hardly usable to automatically generate language tool environments out of the language standard. SDL has already managed to define syntax and semantics in a quite formal way. Currently, this formality is connected by using different types of grammars. Meta-models, however, have proven to be a good way of expressing complex facts and relations. Moreover, there are tools and technologies available realising all language aspects based on completely formal and still easily understandable meta-model-based descriptions. This paper is about an experiment of combining all these existing techniques to create a definition of (a subset of) SDL. This allows to have immediate tool support for the language. This experiment includes the language aspects concrete syntax representation, static semantic constraints, and language behaviour. It turns out that this is almost possible.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, Reading (2003)
Börger, E., Stärk, R.: Abstract State Machines. In: A Method for High-Level Design and Analysis, Springer, Berlin (2003)
Eschbach, R., Glässer, U., Gotzhein, R., von Löwis, M., Prinz, A.: Formal definition of SDL-2000: Compiling and running SDL specifications as ASM models. In: Abstract State Machines 2001: New Developments and Applications, J.UCS Special issue, vol. 7(11) (2001)
Fischer, J., Holz, E., Prinz, A., Scheidgen, M.: Tool-based language development. Comput. Networks 49(5), 676–688 (2005)
Eclipse Graphical Editing Framework, See http://www.eclipse.org/gef
Eclipse Graphical Modeling Framework, See http://www.eclipse.org/gmf
ITU-T. SDL - ITU-T Specification and Description Language, Formal Semantics. ITU-T Recommendation Z.100, Annex F (November 2000)
ITU-T. SDL - ITU-T Specification and Description Language (SDL-2000). ITU-T Recommendation Z.100 (August 2002)
Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Frameworks, Models & Tools. John Wiley & Sons, Chichester (2004)
Nytun, J.P., Prinz, A., Tveit, M.S.: Automatic generation of modelling tools. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 268–283. Springer, Heidelberg (2006)
OMG. Meta Object Facility (MOF) 2.0 Core Specification. Object Management Group, formal/2006-01-01 (January 2006)
OMG. OCL 2.0 Specification. Object Management Group, formal/2006-05-01 (May 2006)
Scheidgen, M.: A MOF 2.0 for Java. Humboldt-Universität zu Berlin, http://www.informatik.hu-berlin.de/sam/meta-tools/aMOF2.0forJava
Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 157–171. Springer, Heidelberg (2007)
Tveit, M.S.: A Cinderella-based prototype of a digital camera– a contribution to the SDL’05 design contest. Telektronikk 2.2006 (2006), http://www.telenor.com/telektronikk/volumes/pdf/2.2006/Page_121-130.pdf
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prinz, A., Scheidgen, M., Tveit, M.S. (2007). A Model-Based Standard for SDL. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)