Verifying Modelling Languages using Lightning: a Case Study

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

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Verifying Modelling Languages using Lightning: a Case Study

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

2014 • In MoDeVVa 2014: Model-Driven Engineering, Verification and Validation

Peer reviewed

Permalink
https://hdl.handle.net/10993/20100

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

SubmitFinal.pdf

Author postprint (381.63 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

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.

Disciplines :

Computer science

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

Language :

English

Title :

Verifying Modelling Languages using Lightning: a Case Study

Publication date :

2014

Event name :

11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014)

Event date :

28 September 2014

Audience :

International

Main work title :

MoDeVVa 2014: Model-Driven Engineering, Verification and Validation

Pages :

19-28

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 20 February 2015

Statistics

Number of views

225 (12 by Unilu)

Number of downloads

156 (9 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Lightning tool web site, http://lightning.gforge.uni.lu.
Kermeta tool web site, http://www.kermeta.org.
Moussa Amrani. A formal semantics of kermeta. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2012.
Juan De Lara and Hans Vangheluwe. Atom3: A tool for multi-formalism and meta-modelling. In Fundamental approaches to software engineering, pages 174-188. Springer, 2002.
Sebastian et al. Erdweg. The state of the art in language workbenches. In Martin Erwig, Richard F. Paige, and Eric Wyk, editors, Software Language Engineering, volume 8225 of Lecture Notes in Computer Science, pages 197-217. Springer International Publishing, 2013.
Martin Fowler. Language workbenches: The killer-app for domain specific languages. http://martinfowler.com/articles/languageWorkbench.html.
Loïc Gammaitoni and Pierre Kelsen. Domain-specific visualization of alloy instances. In ABZ, pages 324-327, 2014.
Loïc Gammaitoni and Pierre Kelsen. Functional Alloy Modules. Technical Report TR-LASSY-14-02, University of Luxembourg; http://hdl.handle.net/10993/16386.
Daniel Jackson. Software abstractions. MIT Press Cambridge, 2012.
Lennart CL Kats and Eelco Visser. The spoofax language workbench: rules for declarative specification of languages and IDEs. In ACM Sigplan Notices, volume 45, pages 444-463. ACM, 2010.
Steven Kelly, Kalle Lyytinen, and Matti Rossi. Metaedit+ a fully configurable multi-user and multi-tool CASE and CAME environment. In Advanced Information Systems Engineering, pages 1-21. Springer, 1996.
Pierre Kelsen and Qin Ma. A lightweight approach for defining the formal semantics of a modeling language. In Model Driven Engineering Languages and Systems, pages 690-704. Springer, 2008.
Anneke Kleppe. Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Addison-Wesley Professional, 2008.
Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, and Nasrullah Memon. Verification-driven slicing of uml/ocl models. In Proceedings of the IEEE/ACM international conference on Automated software engineering, pages 185-194. ACM, 2010.
Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon. Uost: Uml/ocl aggressive slicing technique for efficient verification of models. In System Analysis and Modeling: About Models, pages 173-192. Springer, 2011.
Eugene Syriani, Hans Vangheluwe, Raphael Mannadiar, Conner Hansen, Simon Van Mierlo, and Hüseyin Ergin. Atompm: A web-based modeling environment. In Demos/Posters/StudentResearch@ MoDELS, pages 21-25, 2013.
Silvano Colombo Tosatto, Guido Governatori, and Pierre Kelsen. Towards an abstract framework for compliance. Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, pages 79-88, 2013.
Markus Voelter and Vaclav Pech. Language modularity with the mps language workbench. In 34th International Conference on Software Engineering (ICSE), pages 1449-1450. IEEE, 2012.
Thomas De Vylder. Feature modelling: A survey, a formalism and a transformation for analysis. University of Antwerp.