Download presentation
Presentation is loading. Please wait.
Published byAudra Hamilton Modified over 9 years ago
1
Automaton-Based Approach for Defining Dynamic Semantics of DSLs Ulyana Tikhonova ulyana.tihonova@gmail.com St. Petersburg State Polytechnical University, Russia Eindhoven University of Technology, The Netherlands 22.06.2011GTTSE-SLE-SW1 Supervisors: Suzana Andova, Mark van den Brand, Fedor A. Novikov
2
Motivation 22.06.2011GTTSE-SLE-SW2 Domain-Specific Language A DSL captures the domain knowledge Design, implementation and maintenance of a DSL Model Driven Engineering: programming languages DSL metamodelverification languages simulation models Dynamic semantics Mapping of the DSL metamodel to the execution behavior Target-independent formal specification m2m and m2t transformations
3
Automaton-based approach (1/2) 22.06.20113 Executable dynamic semantics specification Using notation of the UML state machine diagrams The AutoLanD DSL: executable UML for automata An automaton is an interacting object: Provided interfaces: triggers and current state Required interfaces: effects and guards
4
Automaton-based approach (2/2) 22.06.2011GTTSE-SLE-SW4
5
22.06.2011GTTSE-SLE-SW522.06.2011GTTSE-SLE-SW5 a DSL model (abstract program) Interpretation : via automata network
6
Implementation: Eclipse Modeling Framework (EMF) + Xpand 6 AutoLanD metamodel + Java-code generation automaton = java-class M2T AutoLanD model = automata
7
Specification: Structural Operational Semantics (SOS) 22.06.2011GTTSE-SLE-SW7
8
Specification = Implementation: AutoLanD (bootstrapping) 22.06.2011GTTSE-SLE-SW8 AutoLanD metamodel AutoLanD semantics = automaton
9
Conclusions and future work 22.06.2011GTTSE-SLE-SW9 Code generation : rapid implementation + testing SOS : understanding of the core semantics + reconsidering a DSL design AutoLanD Executability Accurate defining of all details High abstraction level Visual notation of UML state machine diagrams Verification of automata based on SOS specification Another case study
10
Open questions 22.06.2011GTTSE-SLE-SW10 Bootstrapping test Execute Set DSL automata for a model Execute AutoLanD automata for Set DSL automata for a model comparison: measurement ?? Xtext failure
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.