MoSC 2021

2nd International Workshop on Modeling Smart Cities

2nd International Workshop on Modeling Smart Cities

The MoSC workshop will be held  in conjuction with MDE4IoT workshop

Co-located with STAF 2020. June 21-25 Bergen, Norway

Important Dates

  • Paper submission: May 4, 2020
  • Paper notification: May 24, 2020
  • Workshop: 21-25 June 2020 (TBD)

How to submit

We solicit papers of two main types: research papers (10 pages) and position papers (6 pages)

The submissions must be in English and adhere to the Springer LNCS style. Use easychair to submit your paper.


Organizers

Ludovico Iovino

Gran Sasso Science Institute, Italy

Manuel Wimmer

Software Engineering at JKU Linz, Austria

Francesco Basciani

University of L'Aquila, Italy

MoSC 2021 is the 2nd edition of the workshop bringing together MDE and the Smart City domain.

Smart cities have attracted both science and industry with an increasing number of successful examples emerging from across the world. A smart city is an ecosystem comprised of infrastructure, people, organizations and businesses, policies, laws, and processes integrated together to create the desired outcomes. The typical components of a smart city include infrastructure, transportation, intelligent energy consumption, health-care, and technology. These ingredients are what make the cities smart, efficient and optimized respect to the citizen and administration needs.

The Internet of Things and big data are two emerging paradigms that can contribute to make smart cities efficient and responsive. Every city is different and may have specific city challenges. The purpose of the workshop is to provide a forum to share and discuss how MDE can be successfully applied to Smart City Projects and with which benefits.

Suggested topics include, but are not limited to:

  • Domain-Specific Languages (DSLs): in the context of Smart cities, a tailored representation at the right level of abstraction streamlines the identification of the actors, processes, data, and the relations that can occur among those entities.
  • Model-based testing: Because of the intrinsic complexity of Smart city, the use of model-based testing approaches provides a considerable improvement in developing, testing, and maintaining smart city systems.
  • Simulation: analysis and validation using simulation is a helpful tool in systems engineering and MDE in its nature can contribute to this task applied to smart city development, especially in the concept of Digital Twin. A digital twin is a virtual model of a city, a replica of the physical world that can be seen as a simulation.
  • Code generation: Code generators simplify the developing tasks proving developers with a partial (even complete) source code automatically generated from the smart city models.
  • Concrete Syntaxes: Dedicated modeling tools allow the specification of application models with textual and graphical editors.
  • Multi-view modeling: Smart city problems often involve many domains, each with their experts and own skills. Specific views of the system help the experts with analysis and decision making in their sub-domain.
  • Interoperability: As the Smart city system scales up, it's crucial to provide interoperability among different services and devices. Model transformations can be used core ingredients for the interoperability of the systems.


  • Model-based analysis, verification, and validation techniques.
  • Multi-modeling languages to cover the different domains and views of the smart cities’ application and the language skills of the actors appropriately.
  • Requirements and traceability.
  • Modeling smart cities component interactions and component behaviors as a Business Process Model and Notation (BPMN) or a Decision Modeling Notation (DMN)
  • Modeling techniques that enable Multi-Criteria Decision Making (MCDM) to migrate from a conventional city to a smart city gradually.
  • Methods and experience reports focusing on model-based interoperability between platforms and/or vendors of smart cities applications and devices.
  • Smart city development scenarios enabled by or enriched by the use of MDE.
  • Experience reports on how MDE techniques can help the transition from a canonical city to a smart city.
  • Variability and configuration management
  • Model composition: building a smart cities model by the composition of pre-existing models of individual sub-components
  • Megamodeling points at integrating different scales of the system, that in a smart city could lead to: Buildings, Areas, districts, up to the City or Country level. In megamodeling also relationships are crucial as they are fundamental in the smart city domain

We invite three types of submissions:

  1. Full papers and Tool presentations (max. 10 pages) are requested to be submitted using Springer LNCS template; papers will be refereed. All papers accepted for workshops will be included in CEUR Workshop proceedings, which is indexed by DBLP.
  2. Tool presentations and Poster could alternatively be submitted as a short abstract (max.1 page) explaining how the community could benefit from using the tool; the abstracts will be published at the MoSC website but will not be included in the proceedings. Posters will provide an opportunity for authors who are interested in discussing their published research with the community and giving a talk. Posters are not included in the proceedings.
  3. Position Paper can be alternatively submitted (max 6 pages).

Program Committee

  • Juri Di Rocco - University of L’Aquila, Italy
  • Martina De Sanctis - GSSI, Italy
  • Luca Berardinelli - JKU Linz, Austria
  • Romina Eramo - University of L’Aquila, Italy
  • Adrian Rutle - Western Norway University of Applied Sciences, Norway
  • Federico Ciccozzi - M ̈alardalen University, Sweden
  • Romina Spalazzese - Malm ̈o University Sweden
  • Saverio Romeo - Birkbeck, University of London
  • Leonardo Mariani - University of Milano Bicocca
  • Esther Guerra - Universidad Aut ́onoma de Madrid
  • Antonio Bucchiarone - FBK Italy
  • Patrizio Pelliccione - University of L’Aquila
  • Benoit Combemale - Univ. Toulouse
  • Hans Vangheluwe - University of Antwerp
  • Thomas Bedner - TU Wien
  • Maria Teresa Rossi - GSSI, Italy
  • Amleto Di Salle - University of L'Aquila, Italy