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
- Paper submission:
May 4, 2020May 14, 2020 (Extended)
- Paper notification: Jun 7, 2020
- Virtual Workshop: 22 June 2020, Virtual Workshop through
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.
Gran Sasso Science Institute, Italy
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:
- 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.
- 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.
- Position Paper can be alternatively submitted (max 6 pages).
- 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
Keynote MoSC: Saverio romeo
Keynote MDE4IoT: Pankesh Patel
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)