Reference : Verifying Modelling Languages using Lightning: a Case Study
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/20100
Verifying Modelling Languages using Lightning: a Case Study
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) >]
Mathey, Fabien mailto []
2014
MoDeVVa 2014: Model-Driven Engineering, Verification and Validation
19-28
Yes
No
International
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014)
28 September 2014
[en] Language Engineering ; Formal Language ; Alloy
[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.
http://hdl.handle.net/10993/20100

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
SubmitFinal.pdfAuthor postprint372.68 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.