Abstract
A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
d’Anjou, J., Fairbrother, S., Kehn, D., Kellermann, J., McCarthy, P.: The Java Developer’s Guide to Eclipse. Addison-Wesley, Reading (2004)
Microsoft: Introducing Visual Studio, http://msdn2.microsoft.com/en-us/library/fx6bk1f4VS.80.aspx
Isfeldt, I.F.: A metamodel for sudoku. Master’s thesis, University of Agder (2008), http://student.grm.hia.no/master/ikt07/ikt590/g01
Prinz, A., Scheidgen, M., Tveit, M.S.: A Model-Based Standard for SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 1–18. Springer, Heidelberg (2007)
Kleppe, A.: A language is more than a metamodel. In: ATEM 2007 workshop (2007), http://megaplanet.org/atem2007/ATEM2007-18.pdf
Delahaye, J.P.: The science behind sudoku. Scientific American, 80–87 (June 2006)
Sethi, R.: Programming Languages Concepts and Constructs. Addison-Wesley, Reading (1996)
OMG (ed.): Revised Submission to OMG RFP ad/2003-04-07: Meta Object Facility (MOF) 2.0 Core Proposal. Technical report, Object Management Group (April 2003), http://www.omg.org/docs/formal/06-01-01.pdf
OMG: OCL 2.0 Specification. Object Management Group (June 2005)ptc/2005-06-06
Scheidgen, M.: Textual Editing Framework, http://www2.informatik.hu-berlin.de/sam/meta-tools/tef/documentation.html
GMF developers: Eclipse Graphical Modeling Framework, http://www.eclipse.org/gmf
Griffin, C.: Using EMF. Technical report, IBM: Eclipse Corner Article (2003), http://www.eclipse.org/articles/Article-UsingEMF/using-emf.html .
Kleppe, A., Warmer, J., Bast, W.: MDA explained: the model driven architecture: practice and promise. Object Technology Series. Addison – Wesley, Reading (2003)
OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification Final Adopted Specification ptc/05-11-01. OMG document, Object Management Group (2005), http://www.omg.org/docs/ptc/05-11-01.pdf
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: European Conference on Model Driven Architecture: Foundations and Applications (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gjøsæter, T., Isfeldt, I.F., Prinz, A. (2009). Sudoku – A Language Description Case Study. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds) Software Language Engineering. SLE 2008. Lecture Notes in Computer Science, vol 5452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00434-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-00434-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00433-9
Online ISBN: 978-3-642-00434-6
eBook Packages: Computer ScienceComputer Science (R0)