Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

Free registration required

Executive Summary

In the context of MDE (Model-Driven Engineering), the authors' objective is to define the semantics for a given DSL (Domain Specific Language) either to simulate its models or to check properties on them using model-checking techniques. In both cases, the purpose is to formalize the DSL semantics as it is known by the DSL designer but often in an informal way. After several experiments to define operational semantics on the one hand, and translational semantics on the other hand, they discuss both approaches and they specify in which cases these semantics seem to be judicious.

  • Format: PDF
  • Size: 644.97 KB