Abstract
Creating debuggers for languages has always been a hard task. The main reason is that languages differ a lot, especially in the way programs are executed on underlying platforms. The emergence of metamodel-based technologies for defining languages simplified the creation of various language tools, e.g., creating editors from notation descriptions became common practice. Another, relatively recent, example is the metamodel-based description of execution semantics from which an interpreter can be derived. Such a semantics allows one to apply a model-based approach also to debugger development. In this paper, we demonstrate how a debugger can be modelled for an imperative voice control language. We show models of the debugging context, breakpoints, and stepping of voice control programs. These models are processed by a generic debugger.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Operational Semantic
- Object Constraint Language
- Object Management Group
- Program Location
- Eclipse Modeling Framework
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
Scheidgen, M.: Adopting Meta-modelling for ITU-T Languages: Language Tool Prototypes as a by-Product of Language Specications. In: Workshop on ITU System Design Languages (2008), http://www.itu.int/dms_pub/itu-t/oth/06/18/T06180000010042PDFE.pdf
Rosenberg, J.: How Debuggers Work - Algorithms, Data Structures, and Architecture. John Wiley & Sons, Chichester (1996)
Eclipse Foundation: Eclipse Debugging Framework, http://help.eclipse.org/ganymede/index.jsp?topic=/org.eclipse.platform.doc.isv/guide/debug.htm
Eclipse Foundation: Eclipse Modeling Framework (EMF), http://www.eclipse.org/modeling/emf
Object Management Group (OMG): Meta Object Facility (MOF) Core Specification, Vers. 2.0, http://www.omg.org/docs/formal/06-01-01.pdf
Sadilek, D., Wachsmuth, G.: EProvide: Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 63–78. Springer, Heidelberg (2008)
Humboldt-Universität zu Berlin: Textual Editing Framework (TEF), http://www2.informatik.hu-berlin.de/sam/meta-tools/tef
Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report (DAIMI FN-19), University of Aarhus (1981)
Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/ Transformation Specification, http://www.omg.org/docs/formal/08-04-03.pdf
Object Management Group (OMG): Object Constraint Language (OCL) Version 2.0, http://www.omg.org/docs/formal/06-05-01.pdf
Damus, C.W.: Implementing Model Integrity in EMF with MDT OCL, http://www.eclipse.org/articles/article.php?file=Article-EMF-Codegen-with-OCL/index.html
Wu, H., Gray, J., Mernik, M.: Grammar-Driven Generation of Domain-Specific Language Debuggers. Softw. Pract. Exper. 38(10), 1073–1103 (2008)
Ramsey, N.: A Retargetable Debugger. Ph.D. Thesis, Princeton University, Princeton (1993)
Hanson, D., Raghavachari, M.: A Machine-Independent Debugger. Softw. Pract. Exper. 26(11), 1277–1299 (1996)
Blunk, A.: MODEF – Ein generisches Debugging-Framework für domänenspezifische Sprachen mit metamodellbasierter Sprachdefinition auf der Basis von Eclipse, EMF und EProvide. Diploma Thesis, Humboldt-Universität zu Berlin (2009)
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
Blunk, A., Fischer, J., Sadilek, D.A. (2009). Modelling a Debugger for an Imperative Voice Control Language. In: Reed, R., Bilgic, A., Gotzhein, R. (eds) SDL 2009: Design for Motes and Mobiles. SDL 2009. Lecture Notes in Computer Science, vol 5719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04554-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-04554-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04553-0
Online ISBN: 978-3-642-04554-7
eBook Packages: Computer ScienceComputer Science (R0)