A framework for defining the dynamic semantics of DSLs

Authors:
Ulyana Tikhonova
Affiliations:
Eindhoven University of Technology, Netherlands
Venue:
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Year:
2013

Citing 7
Cited 0

Theory and Practice of Action Semantics

MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Supporting Reuse of Event-B Developments through Generic Instantiation

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Rodin: an open toolset for modelling and reasoning in Event-B

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on VSTTE 2008
Semantic anchoring with model transformations

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Shared event composition/decomposition in event-b

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this research abstract we describe our project on a common reference framework for defining domain specific languages (DSLs). The framework is meant for defining the dynamic semantics of DSLs and allows for mapping the DSL definition to the various platforms, such as verification, validation and simulation. The objectives of the project are to make a DSL dynamic semantics definition explicit and to use this definition for bridging technological diversity of various platforms, used in the DSLs development.