Report on the third workshop on verification of model transformations (VOLT 2014)

Moussa Amrani; Eugene Syriani; Manuel Wimmer; Robert Bill; Martin Gogolla; Frank Hermann; Kevin Lano

Report on the third workshop on verification of model transformations (VOLT 2014)

Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano

Faculty of Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.

Original language	English
Pages (from-to)	1-9
Number of pages	9
Journal	CEUR Workshop Proceedings
Volume	1325
Publication status	Published - 1 Jan 2014

Cite this

@article{c4d62cc780d0448c91ae1ed3990d4919,

title = "Report on the third workshop on verification of model transformations (VOLT 2014)",

abstract = "This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.",

author = "Moussa Amrani and Eugene Syriani and Manuel Wimmer and Robert Bill and Martin Gogolla and Frank Hermann and Kevin Lano",

year = "2014",

month = jan,

day = "1",

language = "English",

volume = "1325",

pages = "1--9",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Report on the third workshop on verification of model transformations (VOLT 2014)

AU - Amrani, Moussa

AU - Syriani, Eugene

AU - Wimmer, Manuel

AU - Bill, Robert

AU - Gogolla, Martin

AU - Hermann, Frank

AU - Lano, Kevin

PY - 2014/1/1

Y1 - 2014/1/1

N2 - This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.

AB - This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.

UR - http://www.scopus.com/inward/record.url?scp=84921025684&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84921025684

SN - 1613-0073

VL - 1325

SP - 1

EP - 9

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

ER -

Report on the third workshop on verification of model transformations (VOLT 2014)

Abstract

Other files and links

Fingerprint

Cite this