Mon 26 Oct 2015 16:00 - 16:30 at Grand Station 2 - Tools I Chair(s): David J. 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

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
Tools ISLE at Grand Station 2
Chair(s): David J. Pearce Victoria University of Wellington
15:30
30m
Talk
XMLText: From XML Schema to Xtext
SLE
Patrick Neubauer Vienna University of Technology, Austria, Alexander Bergmayr Vienna University of Technology, Austria, Tanja Mayerhofer Vienna University of Technology, Austria, Javier Troya Vienna University of Technology, Austria, Manuel Wimmer Vienna University of Technology, Austria
DOI
16:00
30m
Talk
Designing Languages using Lightning
SLE
Loïc Gammaitoni University of Luxembourg, Luxembourg, Pierre Kelsen University of Luxembourg, Luxembourg, Christian Glodt University of Luxembourg, Luxembourg
DOI
16:30
30m
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene Bagge University of Bergen, Norway
DOI