| 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  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| Kelsen, Pierre [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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
