Reference : Designing Languages using Lightning

	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/23477

Title :	Designing Languages using Lightning
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) >]
	Glodt, Christian [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2015
Main document title :	Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
Publisher :	ACM
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-4503-3686-4
Event name :	8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
Event date :	from 25-10-2015 to 27-10-2015
Keywords :	[en] domain specific languages ; Alloy ; language workbench ; Lightning ; F-Alloy ; verification ; abstract syntax ; concrete syntax ; semantics ; language definition ; modelling language ; language engineering
Abstract :	[en] Modelling languages are defined by specifying their abstract syntax, concrete syntax and semantics. In the Lightning tool the definition of all these language components is based on the lightweight formal language Alloy. Lightning makes use of the powerful automatic analysis features of Alloy to allow language designers to develop and validate the definition of a modelling language in an incremental fashion. By providing immediate visual feedback, it allows errors in the language definition to be quickly identified and corrected. Furthermore Lightning introduces a novel interpretation mechanism that allows efficient execution of transformations used in the language definition. We illustrate the use of the tool on the language of structured business processes.
Permalink :	http://hdl.handle.net/10993/23477
Other URL :	http://lightning.gforge.uni.lu

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access sle2015_submission_15.pdf Publisher postprint 1.1 MB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map