SLE 2014
Call for Papers (source, 32 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
The overall principle of SLE is 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:
- Tools and methods for software language designT1A and extension (incl. meta-languagesT3A, meta-toolsT4A, language workbenchesT4A)
- Generative approachesT4C, transformationT4B and transformation languagesT3B, code generationT4C
- Techniques for analysingT5B software language descriptions
- Techniques for software language reuseT1E, evolutionT2B and managing variation (syntactic/semantic) within language familiesT2C
- Integration and coordinationT1D of software languages and tools
- Engineering Domain-Specific LanguagesT3C (for 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, etc)
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 20 pages (in LNCS format).
- 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 10 pages (in LNCS Format, excluding appendix).
- IndustrialT6B position papers: These papers discuss practical applicationsT6B of SLE technology with an emphasis on the advantages and disadvantages of the method, techniques, or tools used. Industry paper submissions must not exceed 10 pages (in LNCS Format).
- Bridging position papers: These papers discuss bridging ideas from the different areas of SLE (e.g. modelling, PL, grammars, etc). This includes both foundational ideas and/or practical techniques. Bridging position papers must not exceed 4 pages (in LNCS Format).
List of Papers (1+16+3, source)
- 🔥 From Language Engineering to Viewpoint Engineering (Colin Atkinson)
- ProMoBox: A Framework for Generating Domain-Specific Property Languages (Bart Meyers, Romuald Deshayes, Levi Lúcio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer)
- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl)
- 🏆 Towards User-Friendly Projectional Editors (Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb)
- Bounded Seas: Island Parsing Without Shipwrecks (Jan Kurš, Mircea Lungu, Oscar Nierstrasz)
- Eco: A Language Composition Editor (Lukas Diekmann, Laurence Tratt)
- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (Andrei Chiș, Tudor Gîrba, Oscar Nierstrasz)
- Evaluating the Usability of a Visual Feature Modeling Notation (Aleksandar Jakšic, Robert B. France, Philippe Collet, Sudipto Ghosh)
- 🏆 A Metamodel Family for Role-Based Modeling and Programming Languages (Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann)
- 🛠️ AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli)
- fUML as an Assembly Language for Model Transformation (Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura)
- Respect Your Parents: How Attribution and Rewriting Can Get Along (Anthony M. Sloane, Matthew Roberts, Len Hamey)
- 🛠️ Monto: A Disintegrated Development Environment (Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat)
- Model Checking of CTL-Extended OCL Specifications (Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl)
- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (Daco C. Harkes, Eelco Visser)
- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (Tom Ridge)
- Origin Tracking in Attribute Grammars (Kevin Williams, Eric Van Wyk)
- Dynamic Scope Discovery for Model Transformations (Māris Jukšs, Clark Verbrugge, Dániel Varró, Hans Vangheluwe)
- Streamlining Control Flow Graph Construction with DCFlow (Mark Hills)
- 🛠️ Test-Data Generation for Xtext (Johannes Härtel, Lukas Härtel, Ralf Lämmel)
Organisers