Software Language Engineering

1. Front Matter

   PDF

2. Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain

   • Margaret-Anne Storey

   Pages 1-3

3. Object Grammars

   • Tijs van der Storm, William R. Cook, Alex Loh

   Pages 4-23

4. Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation

   • Anthony M. Sloane

   Pages 24-43

5. Termination Analysis for Higher-Order Attribute Grammars

   • Lijesh Krishnan, Eric Van Wyk

   Pages 44-63

6. Metamodelling for Grammarware Researchers

   • Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack

   Pages 64-82

7. Temporal Constraint Support for OCL

   • Bilal Kanso, Safouan Taha

   Pages 83-103

8. The Program Is the Model: Enabling Transformations@run.time

   • Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara

   Pages 104-123

9. A Framework for Bidirectional Model-to-Platform Transformations

   • Anthony Anjorin, Karsten Saller, Sebastian Rose, Andy Schürr

   Pages 124-143

10. Model Transformation Co-evolution: A Semi-automatic Approach

    • Jokin García, Oscar Diaz, Maider Azanza

    Pages 144-163

11. Guided Merging of Sequence Diagrams

    • Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel et al.

    Pages 164-183

12. Bridging the Chasm between Executable Metamodeling and Models of Computation

    • Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry

    Pages 184-203

13. Grammatical Inference in Software Engineering: An Overview of the State of the Art

    • Andrew Stevenson, James R. Cordy

    Pages 204-223

14. Island Grammar-Based Parsing Using GLL and Tom

    • Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau et al.

    Pages 224-243

15. Layout-Sensitive Generalized Parsing

    • Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann

    Pages 244-263

16. PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars

    • Alessandro Barenghi, Ermes Viviani, Stefano Crespi Reghizzi, Dino Mandrioli, Matteo Pradella

    Pages 264-274

17. TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design

    • Wisam Al Abed, Valentin Bonnet, Matthias Schöttle, Engin Yildirim, Omar Alam, Jörg Kienzle

    Pages 275-285

18. A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling

    • Giancarlo Guizzardi, Veruska Zamborlini

    Pages 286-310

19. Declarative Name Binding and Scope Rules

    • Gabriël Konat, Lennart Kats, Guido Wachsmuth, Eelco Visser

    Pages 311-331

20. On the Reusable Specification of Non-functional Properties in DSLs

    • Francisco Durán, Steffen Zschaler, Javier Troya

    Pages 332-351

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.

• attribute grammars
• metamodeling
• model transformation
• ontology
• parsing

• Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada

  Krzysztof Czarnecki

• Department of Computer Science, Lund University, Lund, Sweden

  Görel Hedin

Policies and ethics