Prototyping domain-specific language semantics

Authors:
Daniel A. Sadilek
Affiliations:
Humboldt-Universität zu Berlin, Berlin, Germany
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 0
Cited 2

Model driven RichUbi: a model driven process for building rich interfaces of context-sensitive ubiquitous applications

Proceedings of the 28th ACM International Conference on Design of Communication
SPARDL: a requirement modeling language for periodic control system

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Domain-specific languages (DSLs) need semantics. For an external, executable, metamodel-based DSL, this can be done in an operational or a translational way. In my dissertation, I develop a framework that allows both. It provides flexibility for semantics description in two axes: on the one axis, operational semantics is fixed and one can choose between different description languages (QVT, Java, Prolog, Abstract State Machines, and Scheme); on the other axis, Scheme is fixed and one can choose between operational and translational semantics. Using operational semantics, DSL program interpretation can be animated and debugged. Equivalence of operational semantics described with different languages can be tested by comparing execution traces.