1 / 10

Automaton-Based A pproach for Defining Dynamic Semantics of DSLs

Automaton-Based A pproach for Defining Dynamic Semantics of DSLs. Supervisors: Suzana Andova , Mark van den Brand, Fedor A. Novikov. Ulyana Tikhonova ulyana.tihonova@gmail.com St. Petersburg State Polytechnical University, Russia Eindhoven University of Technology, The Netherlands.

oksana
Télécharger la présentation

Automaton-Based A pproach for Defining Dynamic Semantics of DSLs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Automaton-Based Approach for Defining Dynamic Semantics of DSLs Supervisors: SuzanaAndova, Mark van den Brand, FedorA. Novikov UlyanaTikhonova ulyana.tihonova@gmail.com St. Petersburg State Polytechnical University, Russia Eindhoven University of Technology, The Netherlands GTTSE-SLE-SW

  2. Motivation • Domain-Specific Language • A DSL captures the domain knowledge • Design, implementation and maintenance of a DSL • Model Driven Engineering: programming languagesDSL metamodel verification languages simulation models • Dynamic semantics • Mapping of the DSL metamodel to the execution behavior • Target-independent formal specification m2m and m2t transformations GTTSE-SLE-SW

  3. Automaton-based approach (1/2) • 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) GTTSE-SLE-SW

  5. Interpretation : via automata network a DSL model (abstract program) 5 GTTSE-SLE-SW GTTSE-SLE-SW 22.06.2011

  6. Implementation: Eclipse Modeling Framework (EMF) + Xpand AutoLanD metamodel + Java-code generation automaton = java-class AutoLanD model = automata M2T

  7. Specification: Structural Operational Semantics (SOS) GTTSE-SLE-SW

  8. Specification = Implementation: AutoLanD (bootstrapping) AutoLanD semantics = automaton AutoLanDmetamodel GTTSE-SLE-SW

  9. Conclusions and future work • 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 ∑ GTTSE-SLE-SW

  10. Open questions • Bootstrapping test • Execute Set DSL automata for a model • Execute AutoLanD automata for Set DSL automata for a model comparison: measurement ?? • Xtext failure GTTSE-SLE-SW

More Related