References of "Mathey, Fabien"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailVerifying Modelling Languages using Lightning: a Case Study
Gammaitoni, Loïc UL; Kelsen, Pierre UL; Mathey, Fabien

in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 173 (12 UL)