Volume 4 Number 9 (Nov. 2009)
Home > Archive > 2009 > Volume 4 Number 9 (Nov. 2009) >
JSW 2009 Vol.4(9): 943-958 ISSN: 1796-217X
doi: 10.4304//jsw.4.9.943-958

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

Benoˆıt Combemale1, Xavier Cr´eguty2 Pierre-Lo¨ıc Garochez3 Xavier Thirioux2

1Institut National de Recherche en Informatique et en Automatique (INRIA), France
2Institut de Recherche en Informatique de Toulouse (IRIT), France
3Office National d’E´tude et de Recherche en Ae´rospatiale (ONERA), France

Abstract—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.

[PDF]

Cite: Benoˆıt Combemale, Xavier Cr´eguty, Pierre-Lo¨ıc Garochez, Xavier Thirioux, "Essay on Semantics Definition in MDE An Instrumented Approach for Model Verification," Journal of Software vol. 4, no. 9, pp. 943-958, 2009.

General Information

  • ISSN: 1796-217X (Online)

  • Abbreviated Title: J. Softw.

  • Frequency:  Quarterly

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKIGoogle Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Jun 12, 2024 News!

    Vol 19, No 2 has been published with online version   [Click]