| Vol-2707 urn:nbn:de:0074-2707-1 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# STAF-WS 2020
STAF 2020 Workshop Proceedings

### STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering
co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020)

### Bergen, Norway, June 22-26, 2020.

Edited by

### Loli Burgueño *
Lars Michael Kristensen **

* Open University of Catalonia, Internet Interdisciplinary Institute, Barcelona, Spain
** Western Norway University of Applied Sciences, Faculty of Engineering and Science, Bergen, Norway

## Table of Contents

- Preface

### Modeling Smart Cities

- Preface
- Modeling for Making Smart City KPIs a User-friendly Tool for Smart City Design (keynote) 1-8
  Saverio Romeo
- Supporting Smart Cities Modeling with Graphical and Textual Editors 9-19
  Francesco Basciani, Maria Teresa Rossi, Martina De Sanctis

### Model-Driven Engineering for the Internet-of-Things

- Preface
- Accelerating Application Development in the Internet of Things using Model-driven Development (keynote) 20-21
  Pankesh Patel
- Experiences with an Internal DSL in the IoT Domain 22-34
  Matthias Tichy, David Modinger, Katharina Juhnke, Franz J. Hauck
- Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models 35-46
  Burak Karaduman, Moharram Challenger, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe

### Open and Original Problems in Software Language Engineering

- OOPSLE 2020: Open and Original Problems in Software Language Engineering 47-51
  Vadim Zaytsev, Anya Helene Bagge
- n + 1 Challenges for Software Language Engineering 52-61
  Friedrich Steimann
- Solved and Open Problems in Type Error Diagnosis 62-74
  Jurriaan Hage
- A New Life for Legacy Language Definition Approaches? 75-84
  Mikhail Barash
- Reflections on the Lack of Adoption of Domain Specific Languages 85-94
  Federico Tomassetti, Vadim Zaytsev

2020-10-10: submitted by Lars Michael Kristensen, metadata incl. bibliographic data published under Creative Commons CC0
2020-10-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|