Reference : Designing Languages using Lightning
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/23477
Designing Languages using Lightning
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) >]
Glodt, Christian mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
ACM
Yes
International
978-1-4503-3686-4
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
from 25-10-2015 to 27-10-2015
[en] domain specific languages ; Alloy ; language workbench ; Lightning ; F-Alloy ; verification ; abstract syntax ; concrete syntax ; semantics ; language definition ; modelling language ; language engineering
[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.
http://hdl.handle.net/10993/23477
http://lightning.gforge.uni.lu

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
sle2015_submission_15.pdfPublisher postprint1.1 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.