Advertisement

Extending DMM Behavior Specifications for Visual Execution and Debugging

  • Nils Bandener
  • Christian Soltenborn
  • Gregor Engels
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6563)

Abstract

Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at behavioral languages equipped with a metamodel defining the language’s abstract syntax. Given a model and a DMM specification, a transition system can be computed which represents the semantics of that model. It allows for the investigation of the model’s behavior, e.g. for the sake of understanding the model’s semantics or to verify that certain requirements are fulfilled. However, due to a number of reasons such as tooling and the size of the resulting transition systems, the manual inspection of the resulting transition system is cumbersome.

One solution would be a visualization of the model’s behavior using animated concrete syntax. In this paper, we show how we have enhanced DMM such that visual execution and debugging can be added to a language in a simple manner.

Keywords

Graph Transformation Decision Node Graph Grammar Concrete Syntax 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bandener, N.: Visual Interpreter and Debugger for Dynamic Models Based on the Eclipse Platform. Diploma thesis, University of Paderborn (2009)Google Scholar
  2. 2.
    Bardohl, R., Ermel, C., Weinhold, I.: GenGED – A Visual Definition Tool for Visual Modeling Environments. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 413–419. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Blunk, A., Fischer, J., Sadilek, D.A.: Modelling a Debugger for an Imperative Voice Control Language. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 149–164. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Cramer, B., Kastens, U.: Animation Automatically Generated from Simulation Specifications. In: Proceedings of VL/HCC 2009. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  5. 5.
    Eclipse Foundation: Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/ (online accessed 9-1-2010)
  6. 6.
    Eclipse Foundation: Graphical Editing Framework, http://www.eclipse.org/gef/ (online accessed 9–15–2010)
  7. 7.
    Eclipse Foundation: Graphical Modeling Framework, http://www.eclipse.org/modeling/gmf/ (online accessed 5–5–2009)
  8. 8.
    Eclipse Foundation: UML2 Tools, http://www.eclipse.org/modeling/mdt/?project=uml2tools (online accessed 9–15–2010)
  9. 9.
    Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323–337. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. 10.
    Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76–90. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Ermel, C., Ehrig, K., Taentzer, G., Weiss, E.: Object Oriented and Rule-based Design of Visual Languages using Tiger. In: Proceedings of GraBaTs 2006. ECEASST, vol. 1, European Association of Software Science and Technology (2006)Google Scholar
  12. 12.
    Geiger, L., Zündorf, A.: eDOBS – Graphical Debugging for Eclipse. In: Proceedings of GraBaTs 2006. ECEASST, vol. 1, European Association of Software Science and Technology (2006)Google Scholar
  13. 13.
    Hausmann, J.H.: Dynamic Meta Modeling. Ph.D. thesis, University of Paderborn (2005)Google Scholar
  14. 14.
    Minas, M., Viehstaedt, G.: DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams. In: Proceedings of VL 1995. IEEE Computer Society, Los Alamitos (1995)Google Scholar
  15. 15.
    Object Management Group: UML Superstructure, Version 2.3, http://www.omg.org/spec/UML/2.3/ (online accessed 9–15–2010)
  16. 16.
    Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, University of Bonn (1962)Google Scholar
  17. 17.
    Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific Publishing Co., Inc., River Edge (1997)zbMATHGoogle Scholar
  19. 19.
    Sadilek, D.A., Wachsmuth, G.: 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Nils Bandener
    • 1
  • Christian Soltenborn
    • 1
  • Gregor Engels
    • 1
  1. 1.University of PaderbornPaderbornGermany

Personalised recommendations