F-Alloy: a relational model transformation language based on Alloy

Gammaitoni, Loïc; Kelsen, Pierre

Reference : F-Alloy: a relational model transformation language based on Alloy


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/33261

Title :	F-Alloy: a relational model transformation language based on Alloy
Language :	English
Author, co-author :	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) >]
Publication date :	2017
Journal title :	Software & Systems Modeling
Publisher :	Springer Science & Business Media B.V.
Peer reviewed :	Yes (verified by ORBi^lu)
Audience :	International
ISSN :	1619-1366
e-ISSN :	1619-1374
Keywords :	[en] model transformation ; F-Alloy ; Alloy ; Analysis ; Formal methods ; Endogenous ; exogenous
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/33261

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Submit170830.pdf		Author preprint	1.11 MB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices