Mon 26 Oct 2015 16:00 - 16:30 at Grand Station 2 - Tools I Chair(s): David Pearce

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 F-Alloy, a new Alloy based model transformation language. Transformations expressed in F-Alloy can be efficiently interpreted in Lightning. We illustrate the use of the tool on the language of structured business processes.

Mon 26 Oct

sle2015
15:30 - 17:00: SLE - Tools I at Grand Station 2
Chair(s): David PearceVictoria University of Wellington
sle201515:30 - 16:00
Talk
Patrick NeubauerVienna University of Technology, Austria, Alexander BergmayrVienna University of Technology, Austria, Tanja MayerhoferVienna University of Technology, Austria, Javier TroyaVienna University of Technology, Austria, Manuel WimmerVienna University of Technology, Austria
DOI
sle201516:00 - 16:30
Talk
Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg
DOI
sle201516:30 - 17:00
Talk
Anya Helene BaggeUniversity of Bergen, Norway
DOI