Verifying Modelling Languages using Lightning: a Case Study

Gammaitoni, Loïc; Kelsen, Pierre; Mathey, Fabien

Reference : Verifying Modelling Languages using Lightning: a Case Study


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/20100

Title :	Verifying Modelling Languages using Lightning: a Case Study
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) >]
	Mathey, Fabien []
Publication date :	2014
Main document title :	MoDeVVa 2014: Model-Driven Engineering, Verification and Validation
Pages :	19-28
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014)
Event date :	28 September 2014
Keywords :	[en] Language Engineering ; Formal Language ; Alloy
Abstract :	[en] The formal language Alloy was developed to provide fully automatic analysis of software designs. By providing immediate feedback to users it allows early detection of design errors. The main goal of the Lightning tool is to apply the power of Alloy's automatic analysis to the domain of software language engineering. The tool allows to represent abstract syntax, concrete syntax and semantics of a modelling language in Alloy. In this paper we describe the verification capabilities of Lightning with the help of a concrete modelling language, namely the language of structured business processes.
Permalink :	http://hdl.handle.net/10993/20100

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	SubmitFinal.pdf		Author postprint	372.68 kB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices