SLE 2015
Call for Papers (source, 34 taggings)
SCOPE
Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deploymentT2D, and maintenanceT2B of software languages. The term “software language” is used broadly, and includes: general-purpose programming languagesT3D; domain-specific languagesT3C (e.g. BPMN, SimulinkT4E, Modelica); modeling and metamodeling languagesT3A (e.g. SysML and UML); data models and ontologiesT3E (e.g. XML-based and OWL-based languages and vocabularies).
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 designT1A
- Tools for language designT1A and implementation (incl. meta-languagesT3A, meta-toolsT4A, language workbenchesT4A)
- Generative approachesT4C (incl. transformationT4B and transformation languagesT3B, code generationT4C)
- InterpretersT4D and interpreter compositionT1D
- Techniques for analysingT5B (and proving properties of) software language descriptions
- Techniques for software language reuseT1E, evolutionT2B and management of variations (syntactic/semantic) within language familiesT2C
- Integration and coordinationT1D of disparate software languages and tools
- Applications of DSLsT3C for different purposes (incl. modeling, simulatingT4E, generationT4C, description, checkingT5D)
- Novel applications and/or empirical studiesT5E on any aspect of SLE (development, use, deploymentT2D, and maintenanceT2B of software languages)
- Cross-fertilizationT6D of different technological spaces (e.g. modelwareT6D, grammarwareT6D, ontologiesT3E)
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).
In 2015, industrial experience papers should be submitted to the ITSLE workshop. // VZ: this explicitly excludes T6A and T6B from the scope
List of Papers (1+12+5, source)
- 🔥 What’s the Value of an End User? Platforms and Research: The Case of Pharo and Moose (Stéphane Ducasse)
- On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience (Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, Matthias Tichy, Lars Gelin)
- An Empirical Study on Simplification of Business Process Modeling Languages (Eric Umuhoza, Marco Brambilla, Davide Ripamonti, Jordi Cabot)
- 🏆 Melange: A Meta-Language for Modular and Reusable Development of DSLs (Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jezéquél)
- Distributed Model-to-Model Transformation with ATL on MapReduce (Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot)
- 🏆 Managing Uncertainty in Bidirectional Model Transformations (Romina Eramo, Alfonso Pierantonio, Gianni Rosa)
- 🏆 Modular Capture Avoidance for Program Transformations (Nico Ritschel, Sebastian Erdweg)
- 🛠️ XMLText: From XML Schema to Xtext (Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer)
- 🛠️ Designing Languages using Lightning (Loïc Gammaitoni, Pierre Kelsen, Christian Glodt)
- 🏆 🛠️ Analysis and Transformation with the Nuthatch Tree-Walking Library (Anya Helene Bagge)
- Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview (Christoff Bürger)
- Example-Based Validation of Domain-Specific Visual Languages (Jesús J. López-Fernández, Esther Guerra, Juan de Lara)
- A Combined Formal Model for Relational Context-Dependent Roles (Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann)
- Weaving Concurrency in Executable Domain-Specific Modeling Languages (Florent Latombe, Xavier Crégut, Benoît Combemale, Julien DeAntoni, Marc Pantel)
- Supporting Efficient and Advanced Omniscient Debugging for xDSMLs (Erwan Bousse, Jonathan Corley, Benoît Combemale, Jeffrey G. Gray, Benoît Baudry)
- Using Decision Rules for Solving Conflicts in Extended Feature Models (Lina Ochoa, Oscar González-Rojas, Thomas Thüm)
- 🛠️ The Whiley Rewrite Language (WyRL) (David J. Pearce)
- 🛠️ Parsing Expression Grammars Made Practical (Nicolas Laurent, Kim Mens)
Organisers
