SLE 2008
Call for Papers (source, 40 taggings)
Scope
The term “software language” comprises all sorts of artificial languages used in software development including general purpose programming languagesT3D, domain-specific languagesT3C, modeling and meta-modeling languagesT3A, data models, and ontologiesT3E. We use this term in its broadest sense. Thus, for example, modeling languages include UML and UML-based languages, synchronous languages used in safety critical applications, business process modeling languages, and web application modeling languages, to name a few. Perhaps less obviously, the term “software language” also comprises APIsT3F and collections of design patterns that are indeed implicitly defined languages.
Software language engineering is the application of a systematic, disciplined, quantifiable approach to the developmentT2A, use, and maintenanceT2B of these languages. Thus, the SLE conference is concerned with all phases of the lifecycle of software languagesT2A; these include the designT1A, implementation, documentationT2E, testingT5C, deploymentT2D, evolutionT2B, recoveryT4C, and retirementT2A of languages. Of special interest are tools, techniques, methods and formalismsT5D that support these activities. In particular, tools are often based on or even automatically generatedT4C from a formal descriptionT5D of the language. Hence, of special interest is the treatment of language descriptions as software artifactsT5B, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularizationT1D, refactoringT4B, refinementT4C, compositionT1D, versioningT2B, co-evolutionT2B, and analysis.
Themes and Topics
We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques and frameworks that support the aforementioned lifecycle activities. Some examples of tools, techniques, applications, and problems are listed below in order to clarify the types of contributions sought by SLE.
- Formalisms used in designing and specifying languages and tools that analyze such language descriptionsT3A
- Language implementation tools and techniquesT4A
- Program and model transformation toolsT4B
- Composition, integrationT1D, and mapping toolsT4B for managing different aspects of software languages or different manifestations of a given language
- Language evolutionT2B
- Approaches to elicitation, specificationT5A, and verificationT5D of requirements for software languagesT5A
- Language development frameworks, methodologies, techniques, best practices, and tools for the broader language lifecycleT2A covering phases such as analysisT5B, testingT5C, and documentationT2E.
- Design challenges in SLET1A
- Applications of languages including innovative domain-specific languages or “little” languagesT3C
Do note that this list is not exclusive and many examples of tools, techniques, approaches have not been listed. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest to SLE.
List of Papers (2+16+1+1, source)
- 🔥 The Field of Software Language Engineering (Anneke Kleppe)
- 🔥 Model-Driven Engineering Meets Generic Language Technology (Mark van den Brand)
- Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams (Daniel Laurence Moody, Jos van Hillegersberg)
- Neon: A Library for Language Usage Analysis (Jurriaan Hage, Peter van Keeken)
- 🏆 Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo)
- Parse Table Composition: Separate Compilation and Binary Extensibility of Grammars (Martin Bravenboer, Eelco Visser)
- Practical Scope Recovery Using Bridge Parsing (Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin)
- Generating Rewritable Abstract Syntax Trees: A Foundation for the Rapid Development of Source Code Transformation Tools (Jeffrey Overbey, Ralph E. Johnson)
- Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor Spence, John Brown, Peter Kilpatrick)
- Engineering a DSL for Software Traceability (Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Fernandes)
- 🗜️ Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories (Thomas Goldschmidt)
- 🛠️ A Model Engineering Approach to Tool Interoperability (Yu Sun, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeffrey G. Gray)
- Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines (Pablo Sánchez, Neil Loughran, Lidia Fuentes, Alessandro Fabricio Garcia)
- Transformation Language Integration Based on Profiles and Higher Order Transformations (Pieter Van Gorp, Anne Keller, Dirk Janssens)
- Formalization and Rule-Based Transformation of EMF Ecore-Based Models (Bernhard Schätz)
- A Practical Evaluation of Using TXL for Model Transformation (Hongzhi Liang, Jürgen Dingel)
- DeFacto: Language-Parametric Fact Extraction from Source Code (Hendrikus J. S. Basten, Paul Klint)
- A Case Study in Grammar Engineering (Tiago L. Alves, Joost Visser)
- Sudoku – A Language Description Case Study (Terje Gjøsæter, Ingelin F. Isfeldt, Andreas Prinz)
- The Java Programmer’s Phrase Book (Einar W. Høst, Bjarte M. Østvold)
Organisers
