Publication
Title
Automating the transformation-based analysis of visual languages
Author
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 in the form 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. We also tackle the description of timing aspects in graph transformation rules, and its analysis through their automatic translation into Time Petri nets.
Language
English
Source (journal)
Formal aspects of computing. - Berlin
Publication
Berlin : 2009
ISSN
0934-5043
Volume/pages
22:3/4(2009), p. 297-326
ISI
000277240700005
Full text (Publishers DOI)
Full text (publishers version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 19.04.2010
Last edited 13.04.2017
To cite this reference