Skip to main content
SpringerLink
Log in
Book cover

SDL 2015: Model-Driven Engineering for Smart Cities

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Joachim Fischer

    1. Humboldt-Universität zu Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Scheidgen

    1. Humboldt-Universität zu Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ina Schieferdecker

    1. Fraunhofer FOKUS, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Rick Reed

    1. Telecommunications Software Engineering, Windermere, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

Included in the following conference series:

Conference proceedings info: SDL 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Smart Cities and Distributed Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Insertion Modeling and Symbolic Verification of Large Systems

      • Alexander Letichevsky, Oleksandr Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
      Pages 3-18

    3. A Model-Based Framework for SLA Management and Dynamic Reconfiguration

      • Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
      Pages 19-26

    4. SDL - The IoT Language

      • Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
      Pages 27-41

    5. Event Pattern Mining for Smart Environments

      • Lars George
      Pages 42-45

  3. Specification and Description Language

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. Simulating Distributed Systems with SDL and Hardware-in-the-Loop

      • Tobias Braun, Dennis Christmann
      Pages 49-64

    3. Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements

      • Alexander Kraas
      Pages 65-80

    4. An Experiment to Introduce Interrupts in SDL

      • Emmanuel Gaudin, Alain Clouard
      Pages 81-88

  4. Domain Specific Languages

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. LanguageLab - A Meta-modelling Environment

      • Terje Gjøsæter, Andreas Prinz
      Pages 91-105

    3. Consistency of Task Trees Generated from Website Usage Traces

      • Patrick Harms, Jens Grabowski
      Pages 106-121

    4. On the Semantic Transparency of Visual Notations: Experiments with UML

      • Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek
      Pages 122-137

  5. Goal Modeling

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. On the Reuse of Goal Models

      • Mustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle
      Pages 141-158

    3. Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL

      • Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge
      Pages 159-174

  6. Use-Case Modeling

    1. Front Matter

      Pages 175-175
      Download chapter PDF

    2. Generating Software Documentation in Use Case Maps from Filtered Execution Traces

      • Edna Braun, Daniel Amyot, Timothy C. Lethbridge
      Pages 177-192

    3. Towards the Generation of Tests in the Test Description Language from Use Case Map Models

      • Patrice Boulet, Daniel Amyot, Bernard Stepien
      Pages 193-201
Back to top

Other volumes

  1. SDL 2015: Model-Driven Engineering for Smart Cities

Keywords

About this book

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.

Editors and Affiliations

  • Humboldt-Universität zu Berlin, Berlin, Germany

    Joachim Fischer, Markus Scheidgen

  • Fraunhofer FOKUS, Berlin, Germany

    Ina Schieferdecker

  • Telecommunications Software Engineering, Windermere, United Kingdom

    Rick Reed

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation