Extending DMM behavior specifications for visual execution and debugging

Authors:
Nils Bandener;Christian Soltenborn;Gregor Engels
Affiliations:
University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany
Venue:
SLE'10 Proceedings of the Third international conference on Software language engineering
Year:
2010

Citing 7
Cited 0

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams

VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Animation automatically generated from simulation specifications

VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Analysis of UML activities using dynamic meta modeling

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Modelling a debugger for an imperative voice controllanguage

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles

Quantified Score

Hi-index	0.00

Visualization

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.