Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations

Dyck, Johannes; Giese, Holger; Lambers, Leen; Schlesinger, Sebastian; Glesner, Sabine

by Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner

Reference:

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Analysis of Model Transformations, AMT 2015 (Jürgen Dingel, Sahar Kokaly, Levi Lúcio, Rick Salay, Hans Vangheluwe, eds.), CEUR-WS.org, volume 1500, 2015.

Bibtex Entry:

@InProceedings{Dyck+15,
AUTHOR = {Dyck, Johannes and Giese, Holger and Lambers, Leen and Schlesinger, Sebastian and Glesner, Sabine},
TITLE = {{Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations}},
YEAR = {2015},
EDITOR = {J\"{u}rgen Dingel and Sahar Kokaly and Levi L\'{u}cio and Rick Salay and Hans Vangheluwe},
BOOKTITLE = {Analysis of Model Transformations, AMT 2015},
VOLUME = {1500},
SERIES = {{CEUR} Workshop Proceedings},
PUBLISHER = {CEUR-WS.org},
URL = {http://ceur-ws.org/Vol-1500/paper5.pdf}
}