Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies).

The next edition, SLE 2016, will be co-located with SPLASH 2016 at the Mövenpick Hotel, Amsterdam, Netherlands. See you there!

Award Winners SLE 2015

Distinguished Research Paper Award
  • Romina Eramo, Alfonso Pierantonio and Gianni Rosa. Managing Uncertainty in Bidirectional Model Transformations
Distinguished Tool Paper Award
  • Anya Helene Bagge. Analysis and Transformation with the Nuthatch Tree-Walking Library
Best Reviewer Award
  • Zhenjiang Hu
Best Presentation Award
  • Sebastian Erdweg. Modular Capture Avoidance for Program Transformations (paper with Nico Ritschel)
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
10:30 - 10:40
Day opening
Opening
SLE
Davide Di RuscioUniversity of L'Aquila, Markus Völteritemis, Germany
10:40 - 11:10
Talk
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
Salome MaroChalmers University of Technology, Sweden, Jan-Philipp SteghöferChalmers University of Technology, Sweden, Anthony AnjorinChalmers University of Technology, Sweden, Matthias TichyUniversity of Ulm, Germany, Lars GelinEricsson, Sweden
DOI
11:10 - 11:40
Talk
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
Eric UmuhozaPolitecnico di Milano, Italy, Marco BrambillaPolitecnico di Milano, Italy, Davide RipamontiPolitecnico di Milano, Italy, Jordi CabotICREA, Spain
DOI Media Attached
11:40 - 12:00
Talk
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
Thomas DegueuleINRIA, France, Benoit CombemaleINRIA, France, Arnaud BlouinINSA Rennes, France, Olivier BaraisUniversity of Rennes 1, France, Jean-Marc JézéquelUniversity of Rennes 1, France
DOI
13:30 - 15:00: Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der StormCWI
13:30 - 14:00
Talk
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
14:00 - 14:30
Talk
Managing Uncertainty in Bidirectional Model Transformations
SLE
Romina EramoUniversity of L'Aquila, Italy, Alfonso PierantonioUniversity of L'Aquila, Italy, Gianni RosaUniversity of L'Aquila, Italy
DOI
14:30 - 15:00
Talk
Modular Capture Avoidance for Program Transformations
SLE
Nico RitschelTU Darmstadt, Germany, Sebastian ErdwegTU Darmstadt, Germany
Link to publication DOI
15:30 - 17:00: Tools ISLE at Grand Station 2
Chair(s): David J. PearceVictoria University of Wellington
15:30 - 16:00
Talk
XMLText: From XML Schema to Xtext
SLE
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
16:00 - 16:30
Talk
Designing Languages using Lightning
SLE
Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg
DOI
16:30 - 17:00
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene BaggeUniversity of Bergen, Norway
DOI

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco BrambillaPolitecnico di Milano, Italy
10:30 - 11:00
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff BürgerLund University, Sweden
DOI
11:00 - 11:30
Talk
Example-Based Validation of Domain-Specific Visual Languages
SLE
Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain
DOI
11:30 - 12:00
Talk
A Combined Formal Model for Relational Context-Dependent Roles
SLE
Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI
13:30 - 15:00: Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
13:30 - 14:00
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent LatombeUniversity of Toulouse, France, Xavier CrégutUniversity of Toulouse, France, Benoit CombemaleINRIA, France, Julien DeAntoni, Marc PantelUniversity of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00 - 14:30
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan BousseIRISA, France, Jonathan CorleyUniversity of Alabama, USA, Benoit CombemaleINRIA, France, Jeff GrayUniversity of Alabama, USA, Benoit BaudryINRIA, France
Link to publication DOI File Attached
14:30 - 15:00
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina OchoaUniversity of Los Andes, Colombia, Oscar González-RojasUniversity of Los Andes, Colombia, Thomas ThümTU Braunschweig, Germany
DOI
15:30 - 17:00: Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene BaggeUniversity of Bergen, Norway
15:30 - 16:00
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. PearceVictoria University of Wellington
DOI
16:00 - 16:30
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
DOI Pre-print
16:30 - 17:00
Day closing
Closing
SLE

Call for Papers

Topics of Interest

SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks. Topics of interest include, but are not limited to, the following:

  • Approaches and methodologies for language design

  • Tools for language design and implementation (incl. meta-languages, meta-tools, language workbenches)

  • Generative approaches (incl. transformation and transformation languages, code generation)

  • Interpreters and interpreter composition

  • Techniques for analysing (and proving properties of) software language descriptions

  • Techniques for software language reuse, evolution and management of variations (syntactic/semantic) within language families

  • Integration and coordination of disparate software languages and tools

  • Applications of DSLs for different purposes (incl. modeling, simulating, generation, description, checking)

  • Novel applications and/or empirical studies on any aspect of SLE (development, use, deployment, and maintenance of software languages)

  • Cross-fertilization of different technological spaces (e.g. modelware, grammarware, ontologies)

Types of Submissions

  • Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages (in ACM SIGPLAN conference style).

  • Tool papers: Because of SLE’s ample interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Tool papers should include an appendix outlining the proposed demonstration, including screenshots etc. A short video may be linked as well. Tool paper submissions must not exceed 6 pages (in ACM SIGPLAN conference style).

  • Bridging position papers: These papers discuss bridging ideas from the different areas of SLE (e.g. modelling, programming languages, grammars, etc). This includes both foundational ideas and/or practical techniques. Bridging position papers must not exceed 2 pages (in ACM SIGPLAN conference style).

Proposals for SLE workshops should be submitted to the SPLASH workshop process. Please be sure to carefully label your proposal as affiliated with SLE; if you have any questions about SLE workshops, please contact the General Chair.

Papers should follow the ACM SIGPLAN conference style, 10 point font: http://www.sigplan.org/Resources/Author/

Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font by default. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission; setting the preprint option in the LaTeX \documentclass command generates page numbers. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Submitted articles must not have been previously published or currently be submitted for publication elsewhere. The program chairs will apply the principles of the ACM Plagiarism Policy throughout the submission and review process.

Publications

All submitted papers will be reviewed by at least three members of the program committee. All accepted papers will be published in ACM Digital Library.

Papers may be submitted via Easychair, https://easychair.org/conferences/?conf=sle-2015

Authors of best papers from the conference will be invited to revise and submit extended versions of their papers for a Journal special issue.

Prizes

  • Best paper. Award for best overall paper, as determined by the PC chairs based on the recommendations of the programme committee.

  • Best presentation. Award for the best paper presentation. We want to encourage well structured and lively presentations. Determined by the audience.

  • Best reviewer. Award for best reviewer, as determined by the PC chairs using feedback from the authors.

Awards are sponsored by GEMOC initiative

More information

See http://sleconf.org/2015

Accepted Papers

Title
A Combined Formal Model for Relational Context-Dependent Roles
SLE
DOI
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
DOI Media Attached
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
DOI
Designing Languages using Lightning
SLE
DOI
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
Example-Based Validation of Domain-Specific Visual Languages
SLE
DOI
Managing Uncertainty in Bidirectional Model Transformations
SLE
DOI
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
DOI
Modular Capture Avoidance for Program Transformations
SLE
Link to publication DOI
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
DOI
Opening
SLE
Parsing Expression Grammars Made Practical
SLE
DOI Pre-print
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
DOI
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Link to publication DOI File Attached
The Whiley Rewrite Language (WyRL)
SLE
DOI
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
DOI
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
DOI Pre-print Media Attached File Attached
XMLText: From XML Schema to Xtext
SLE
DOI