Reference : F-Alloy: a relational model transformation language based on Alloy
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/33261
F-Alloy: a relational model transformation language based on Alloy
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) >]
2019
Software and Systems Modeling
Springer Science & Business Media B.V.
18
1
213-247
Yes
International
1619-1366
1619-1374
[en] model transformation ; F-Alloy ; Alloy ; Analysis ; Formal methods ; Endogenous ; exogenous
[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 specifically designed to concisely specify functional Alloy modules. The restrictions on F-Alloy’s syntax are meant to allow efficient execution of the specified transformation, without the use of backtracking, by an adapted interpretation algorithm. F-Alloy’s semantics is given in this paper as a direct translation to Alloy; hence, F-Alloy specifications are also analyzable using the powerful automatic analysis features of Alloy.
http://hdl.handle.net/10993/33261

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Submit170830.pdfAuthor preprint1.11 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.