MoSC 2020

1st International Workshop on Modeling Smart Cities

1st International Workshop on Modeling Smart Cities

Due to COVID-19 restriction the MoSC workshop will be held virtually in conjuction with MDE4IoT workshop

Originally Co-located with STAF 2020. June 22-26 Bergen, Norway

Important Dates

  • Paper submission: May 4, 2020 May 14, 2020 (Extended)
  • Paper notification: Jun 7, 2020
  • Virtual Workshop: 22 June 2020, Virtual Workshop through ZOOM

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

Juri Di Rocco

University of L'Aquila, Italy

MoSC 2020 is the 1st 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

  • Francesco Basciani - 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

Program

Keynote MoSC: Saverio romeo

Title: Modelling for making smart city KPIs an essential and user friendly tool for smart city strategy designSaverio is Associate Lecturer at Birkbeck – University of London - on emerging technologies management and policy. He runs modules for postgraduates and undergraduates on the subject and contributes to research activities on the impact of technologies in business and society. At the same time, he is the founder of Emerging Technology Observatory providing consultancy and research support in digital technologies to a variety of organizations. He has covered subjects such as the Internet of Things, broadband networks, blockchain, smart city, smart agriculture, but he has also collaborated in evaluation projects in the areas of regional development covering the digital technology aspect. He was Lead Expert for the EU Digital Cities Challenge Project supporting the city of L’Aquila in defining its digital transformation strategy.Previously at Beecham Research, Saverio, as Chief Research Officer, ran technology market research in the areas of M2M, Internet of Things, and wearable technologies. Previously, Saverio worked as an M2M/mobile communications analyst at Frost & Sullivan, telecommunications and innovation policy analyst at Technopolis Group and European Commission and as a software developer at DS Group.

Keynote MDE4IoT: Pankesh Patel

Title: Closing the Gap: Accelerating Application Development in the Internet of ThingsDr. Pankesh Patel is an applied research scientist and educator in the area of system and software engineering. He focuses on building software development methodologies and tools to easily develop applications in the cross-section of software engineering, Internet of Things, and Industrial Internet of Things. Currently, he is a Marie-Curie Senior Researcher at SFI Confirm Centre for Smart Manufacturing, Data Science Institute, NUI Galway, Ireland. Before joining this position, he was a Senior Research Scientist at Fraunhofer USA – Center for Experimental Software Engineering (CESE) from August 2017 to January 2019. At Fraunhofer USA, his focus was on implementation of Industrial Internet of Things (IIoT) techniques and methodologies in commercial environments. He worked as a Research Scientist in Industrial Software System (ISS) group at ABB Corporate Research-India from 2014 to 2017. He obtained his Ph.D. in Computer Science from the University of Paris VI (UPMC), France with a ``highest honors'' (``Tres Honorable'' in French) title. His PhD was funded by the French National Institute for Research in Computer Science and Control (INRIA)--Paris, France.

Program

09:00 Welcome by the Workshop Organizers

09:20 Keynote MoSC: “Modelling for making smart city KPIs an essential and user-friendly tool for smart city strategy design” by Saverio Romeo (Short CV and abstract of the talk are provided below).

09:50 MoSC Paper 1: “Supporting Smart Cities Modeling with Graphical Editors” by Francesco Basciani, Maria Teresa Rossi and Martina De Sanctis

10:10 Coffee Break

10:30 Keynote MDE4IoT: “Closing the Gap: Accelerating Application Development in the Internet of Things” by Pankesh Patel (Short CV and abstract of the talk are provided below).


11:00 MDE4IoT Paper 1: “Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models” by Burak Karaduman, Moharram Challenger, Raheleh Eslampanah, Joachim Denil and Hans Vangheluwe

11:20 MDE4IoT Paper 2: “Experiences with an Internal DSL in the IoT Domain” by Matthias Tichy, Jakob Pietron, David Mödinger, Katharina Juhnke and Franz Hauck

11:40 Wrap Up and closing (expected end 12:00)