Reference : F-Alloy: An Alloy Based Model Transformation Language
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/23476
F-Alloy: An Alloy Based Model Transformation Language
English
Gammaitoni, Loïc mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2015
Theory and Practice of Model Transformations
Springer
LNCS 9152
Yes
International
8th International Conference on Model Transformation
from 20-07-2015 to 21-07-2015
[en] Alloy ; model transformation ; F-Alloy ; functional Alloy Module ; Analysis ; verification
[en] Model transformations are one of the core artifacts of a model-driven engineering approach. The relational logic language Alloy has been used in the past to verify properties of model transformations.
In this paper we introduce the concept of functional Alloy modules. In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation.
We describe a sublanguage of Alloy called F-Alloy that allows the specification of functional Alloy modules. Modules in F-Alloy are analysable using the powerful automatic analysis features of Alloy but can also be interpreted efficiently without the use of backtracking.
http://hdl.handle.net/10993/23476
http://lightning.gforge.uni.lu

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ICMT_2015_submission_15.pdfPublisher postprint347.09 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.