HAL : hal-00371553, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Journal of Software (JSW) 4, 9 (2009) 943-958

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

Benoît Combemale 1, Xavier Crégut 2, Pierre-Loïc Garoche 3, Xavier Thirioux 2

(11/2009)

In the context of MDE (Model-Driven Engineering), our 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, we discuss both approaches and we specify in which cases these semantics seem to be judicious. As a second step, we introduce a pragmatic and instrumented approach to define a translational semantics and to validate it against a reference operational semantics expressed by the DSL designer. We apply this approach to the xSPEM process description language in order to verify process models.

1 :	TRISKELL (INRIA - IRISA)
	CNRS : UMR6074 – INRIA – INSA Rennes – Université de Rennes 1
2 :	Institut de recherche en informatique de Toulouse (IRIT)
	CNRS : UMR5505 – Université des Sciences Sociales - Toulouse I – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier - Toulouse III
3 :	Traitement de l'information et modélisation (ONERA - DTIM)
	ONERA

Équipe de recherche : INRIA;IRIT;ONERA

Domaine

:

Informatique/Génie logiciel Informatique/Informatique et langage

hal-00371553, version 1

http://hal.archives-ouvertes.fr/hal-00371553

oai:hal.archives-ouvertes.fr:hal-00371553

Contributeur : Benoit Combemale <>

Soumis le : Dimanche 29 Mars 2009, 14:19:54

Dernière modification le : Lundi 26 Avril 2010, 10:35:13