Translating model simulators to analysis models


Abstract:

We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets. © 2008 Springer-Verlag Berlin Heidelberg.

Año de publicación:

2008

Keywords:

    Fuente:

    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso abierto

    Áreas de conocimiento:

    • Simulación
    • Simulación

    Áreas temáticas:

    • Ciencias de la computación
    • Métodos informáticos especiales
    • Funcionamiento de bibliotecas y archivos