SDL 2015: Model-Driven Engineering for Smart Cities

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

  • Joachim Fischer
  • Markus Scheidgen
  • Ina Schieferdecker
  • Rick Reed
Conference proceedings SDL 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9369)

Also part of the Computer Communication Networks and Telecommunications book sub series (LNCCN, volume 9369)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Smart Cities and Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Alexander Letichevsky, Oleksandr Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
      Pages 3-18
    3. Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
      Pages 19-26
    4. Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
      Pages 27-41
  3. Specification and Description Language

    1. Front Matter
      Pages 47-47
    2. Tobias Braun, Dennis Christmann
      Pages 49-64
    3. Emmanuel Gaudin, Alain Clouard
      Pages 81-88
  4. Domain Specific Languages

    1. Front Matter
      Pages 89-89
    2. Terje Gjøsæter, Andreas Prinz
      Pages 91-105
    3. Patrick Harms, Jens Grabowski
      Pages 106-121
    4. Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek
      Pages 122-137
  5. Goal Modeling

    1. Front Matter
      Pages 139-139
    2. Mustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle
      Pages 141-158
    3. Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge
      Pages 159-174
  6. Use-Case Modeling

    1. Front Matter
      Pages 175-175
    2. Edna Braun, Daniel Amyot, Timothy C. Lethbridge
      Pages 177-192
    3. Patrice Boulet, Daniel Amyot, Bernard Stepien
      Pages 193-201
    4. Jameleddine Hassine, Abdelwahab Hamou-Lhadj
      Pages 202-217
  7. Model-Based Testing

    1. Front Matter
      Pages 219-219
    2. Bernard Stepien, Kavya Mallur, Liam Peyton
      Pages 252-267
    3. Gusztáv Adamis, Gábor Kovács, György Réthy
      Pages 268-284
  8. Back Matter
    Pages 285-285

About these proceedings


This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.

The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.


Design languages Distributed systems Domain Specific Languages (DSLs) Formal languages Formal software verification Internet of Things (IoT) Model-based testing Model-driven engineering Modeling Program semantics Requirements analysis Smart city Software engineering Software testing and debugging Software verification and validation Specification languages System description languages System modeling languages Unified Modeling Language (UML) Use cases

Editors and affiliations

  • Joachim Fischer
    • 1
  • Markus Scheidgen
    • 2
  • Ina Schieferdecker
    • 3
  • Rick Reed
    • 4
  1. 1.Humboldt-Universität zu BerlinBerlinGermany
  2. 2.Humboldt-Universität zu BerlinBerlinGermany
  3. 3.Fraunhofer FOKUSBerlinGermany
  4. 4.Telecommunications Software EngineeringWindermereUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-24911-7
  • Online ISBN 978-3-319-24912-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment