Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021

About


Contributions related to all aspects of modeling, modeling languages and model-based engineering are cordially invited to the 24th edition of MODELS, in Fukuoka, Japan 10-15 October 2021.

MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MODELS 2021 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling and model-based software and systems.

This year’s edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability.

In 2021, MODELS has a special theme on “Modeling for Human-AI Collaborative Society”. We especially encourage contributions where model-driven engineering intersects with research and applications on, not exclusively, artificial intelligence, Internet of Things, smart cities, robot ethics and value-based Software Engineering.

We invite you to join us at MODELS 2021, Fukuoka, Japan and to help shape the modelling methods and technologies of the future!

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00
Machine learning and Recommender systems ITechnical Papers at Room 1
Chair(s): Betty H.C. Cheng Michigan State University
09:00
20m
Talk
Using Recommender Systems to Improve Proactive ModelingJ1ST
Technical Papers
09:20
20m
Talk
Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at RuntimeJ1ST
Technical Papers
Sebastian Pilarski McGill University, Martin Staniszewski , Matthew Bryan , Frederic Villeneuve , Daniel Varro McGill University / Budapest University of Technology and Economics
09:40
10m
Demonstration
DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO
Technical Papers
Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada
10:00 - 11:00
Certification and Assurance ITechnical Papers at Room 1
Chair(s): Tao Yue Simula Research Laboratory
10:00
20m
Full-paper
A Lean Approach to Building Valid Model-Based Safety ArgumentsFT
Technical Papers
Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
10:20
20m
Full-paper
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT
Technical Papers
10:40
20m
Talk
Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST
Technical Papers
17:00 - 18:00
Testing and Analysis ITechnical Papers at Room 1
Chair(s): Shaukat Ali Simula Research Laboratory, Norway
17:00
20m
Full-paper
Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
Technical Papers
17:20
20m
Full-paper
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I
Technical Papers
Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu
17:40
20m
Talk
Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST
Technical Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid
18:00 - 19:00
Modeling Languages ITechnical Papers at Room 1
Chair(s): Benoit Combemale University of Rennes; Inria; IRISA
18:00
20m
Talk
Pragmatic Reuse in DSML DevelopmentJ1ST
Technical Papers
Stefan Klikovits , Didier Buchs University of Geneva, Switzerland
18:20
20m
Talk
Spectra: A Specification Language for Reactive SystemsJ1ST
Technical Papers
Shahar Maoz Tel Aviv University, Israel, Jan Oliver Ringert King's College London
Link to publication DOI
18:40
20m
Full-paper
OSTRICH - A Safe Template Language for Low-code DevelopmentP&I
Technical Papers
Hugo Lourenço OutSystems SA, Carla Ferreira NOVA School of Science and Technology, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
19:00 - 20:00
Human Aspects ITechnical Papers at Room 1
Chair(s): Silvia Abrahão Universitat Politècnica de València
19:00
20m
Full-paper
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I
Technical Papers
Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl , Rick Rabiser LIT CPS, Johannes Kepler University Linz
19:20
20m
Talk
Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST
Technical Papers
19:40
20m
Talk
A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST
Technical Papers
Thorsten Berger , Swaib Dragule Chalmers | University of Gothenburg, Claudio Menghi McMaster University, Canada, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg
19:00 - 20:00
Testing and Analysis IITechnical Papers at Room 2
Chair(s): Juan de Lara Autonomous University of Madrid
19:00
20m
Full-paper
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingP&I
Technical Papers
Shi Yize , Chengjie Lu , Man Zhang Kristiania University College, Norway, Huihui Zhang Weifang University, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Norway
19:20
20m
Full-paper
DataTime: A Framework to Smoothly Integrate Past, Present and Future into ModelsP&I
Technical Papers
Lyan Gauthier , Jean-Marc Jézéquel Univ Rennes - IRISA, Benoit Combemale University of Rennes; Inria; IRISA, David Gross-Amblard
19:40
20m
Full-paper
Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT
Technical Papers
James Harbin , Simos Gerasimou University of York, UK, Nicholas Matragkas University of York, Athanasios Zolotas , Radu Calinescu University of York, UK

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

17:00 - 18:00
Certification and Assurance IITechnical Papers at Room 1
Chair(s): Ileana Ober University of Toulouse
17:00
20m
Talk
Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST
Technical Papers
Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, A W
17:20
20m
Talk
Guaranteed master for interval-based cosimulationJ1ST
Technical Papers
17:40
10m
Short-paper
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION
Technical Papers
Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart
Pre-print
17:00 - 18:00
Artifacts, Innovations, Empirical Studies, EducationTechnical Papers at Room 2
Chair(s): Lola Burgueño Open University of Catalonia
17:00
20m
Full-paper
Quality Guidelines for Research Artifacts in Model-Driven EngineeringFT
Technical Papers
Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands, Daniel Strüber Radboud University Nijmegen
17:20
20m
Talk
Characteristics, Potentials, and Limitations of Open Source Simulink Projects for Empirical ResearchJ1ST
Technical Papers
Alexander Boll , Andreas Vogelsang University of Cologne, Florian Brokhausen , Tiago Amorim University of Cologne, Timo Kehrer Humboldt University of Berlin
17:40
10m
Demonstration
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based ExercisesDEMO
Technical Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Andrés Rico-Fernández , Esther Guerra , Juan de Lara Autonomous University of Madrid
17:50
10m
Demonstration
POLYGLOT for Gamified Education: Mixing Modelling and Programming ExercisesDEMO
Technical Papers
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Tommaso Martorella , Diego Colombo , Antonio Cicchetti Mälardalen University, Annapaola Marconi Fondazione Bruno Kessler, Trento, Italy
18:00 - 19:00
Model management and model transformations ITechnical Papers at Room 2
Chair(s): Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
18:00
20m
Talk
Controllable and Decomposable Multidirectional SynchronizationsJ1ST
Technical Papers
Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs
18:20
10m
Short-paper
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic ExecutionVISION
Technical Papers
Florian Ege , Matthias Tichy Ulm University, Germany
18:30
10m
Demonstration
From Conceptual Models to Knowledge Graphs: A Generic Model Transformation PlatformDEMO
Technical Papers
Muhamed Smajevic , Dominik Bork TU Wien, Vienna, Austria
18:40
10m
Demonstration
AnimUML as a UML Modeling and Verification Teaching ToolDEMO
Technical Papers
Frédéric Jouault ERIS Team, ESEO , France, Valentin Sebille , Valentin Besnard , Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Ciprian Teodorov ENSTA Bretagne, Matthias Brun , Jérôme Delatour
19:00 - 20:00
Backup SessionTechnical Papers at Room 1
Chair(s): Xiao He University of Science and Technology Beijing, China
23:00 - 00:00
Machine learning and Recommender systems IITechnical Papers at Room 1
Chair(s): Antonio Cicchetti Mälardalen University
23:00
20m
Talk
Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST
Technical Papers
Lissette Almonte Universidad Autónoma de Madrid, Esther Guerra , Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
23:20
20m
Full-paper
A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT
Technical Papers
Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila
Pre-print
23:40
10m
Short-paper
Towards Reinforcement Learning for In-Place Model TransformationsVISION
Technical Papers
23:00 - 00:00
Testing and Analysis IIITechnical Papers at Room 2
Chair(s): Øystein Haugen Østfold University College
23:00
20m
Talk
Distributed Model Validation with EpsilonJ1ST
Technical Papers
Sina Madani , Dimitris Kolovos University of York, Richard Paige McMaster University
23:20
20m
Talk
Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test SelectionJ1ST
Technical Papers
Walter Cazzola Università degli Studi di Milano, Sudipto Ghosh Colorado State University, USA, Mohammed Al-Refai , Gabriele Maurina
23:40
10m
Demonstration
MRegTest: A Replay-Based Regression Testing Approach for Distributed UML-RT ModelsDEMO
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model generation and Search-based engineeringTechnical Papers at Room 1
Chair(s): Matthias Tichy Ulm University, Germany
00:00
20m
Talk
Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST
Technical Papers
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Boqi Chen McGill University, Chuning Li , Kristóf Marussy Budapest University of Technology and Economics, Gabor Szarnyas , Daniel Varro McGill University / Budapest University of Technology and Economics
00:20
20m
Full-paper
Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT
Technical Papers
00:40
20m
Talk
Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST
Technical Papers
Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University, Spain
00:00 - 01:00
Modeling languages IITechnical Papers at Room 2
Chair(s): Sébastien Mosser Université Côte d'Azur, France
00:00
20m
Full-paper
Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Case StudyP&I
Technical Papers
Alessandro Colantoni Johannes Kepler University Linz, Antonio Garmendia , Luca Berardinelli Johannes Kepler University Linz, Manuel Wimmer JKU Linz, Johannes Braeuer
00:20
20m
Talk
Playground for multi-level modeling constructsJ1ST
Technical Papers
00:40
10m
Demonstration
Multi-Language Support in TouchCOREDEMO
Technical Papers
Maximilian Schiedermeier McGill University, Bo Wen Li , Jörg Kienzle McGill University, Canada, Hyacinth Ali , Ian X. Gauthier McGill University, Gunter Mussbacher McGill University, Ryan Languay , Qiutan Wu , Greta Freitag
01:00 - 02:00
Applications of MDE IIITechnical Papers at Room 1
Chair(s): Juergen Dingel Queen's University, Kingston, Ontario
01:00
20m
Talk
Modelling on mobile devices: A systematic mapping studyJ1ST
Technical Papers
Léa Brunschwig Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid
01:20
20m
Talk
MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST
Technical Papers
Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Maria Teresa Rossi Gran Sasso Science Institute, Manuel Wimmer JKU Linz
01:40
10m
Demonstration
A modeling assistant for cognifying MBSE toolsDEMO
Technical Papers
01:00 - 02:00
Human Aspects IITechnical Papers at Room 2
Chair(s): Antonio Cicchetti Mälardalen University
01:00
20m
Full-paper
Collaborative Model-Driven Software Engineering: A Systematic UpdateFT
Technical Papers
Istvan David Université de Montréal, Kousar Aslam , Sogol Faridmoayer , Ivano Malavolta Vrije Universiteit Amsterdam, Eugene Syriani Université de Montréal, Patricia Lago Vrije Universiteit Amsterdam
01:20
20m
Full-paper
Collaborative Software Modeling in Virtual RealityFT
Technical Papers
Enes Yigitbas Paderborn University, Germany, Simon Gorissen , Nils Weidmann , Gregor Engels Paderborn University
01:40
20m
Talk
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMFJ1ST
Technical Papers
Juan Manuel Vara Universidad Rey Juan Carlos, David Granada Universidad Rey Juan Carlos, Manuel Núñez Universidad Complutense de Madrid, Esperanza Marcos Universidad Rey Juan Carlos
10:30 - 11:30
Model management and model transformations IITechnical Papers at Room 1
Chair(s): Eugene Syriani Université de Montréal
10:30
20m
Full-paper
Repository Mining for Changes in Simulink ModelsP&I
Technical Papers
Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University
10:50
20m
Full-paper
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
Technical Papers
Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal
11:10
20m
Talk
Live Modeling in the Context of State Machine Models and Code GenerationJ1ST
Technical Papers
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario
10:30 - 11:30
Testing and Analysis IVTechnical Papers at Room 2
Chair(s): Fuyuki Ishikawa National Institute of Informatics
10:30
20m
Full-paper
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
10:50
20m
Full-paper
Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I
Technical Papers
Ramy Shahin University of Toronto, Robert Hackman , Rafael F. Toledo University of Waterloo, Ramesh S , Joanne M. Atlee University of Waterloo, Marsha Chechik University of Toronto
Pre-print
11:10
20m
Talk
Analysis of Variability Models: A Systematic Literature ReviewJ1ST
Technical Papers
23:00 - 00:00
Model management and model transformations IIITechnical Papers at Room 1
Chair(s): Dimitris Kolovos University of York
23:00
20m
Full-paper
Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT
Technical Papers
Alexander Schultheiß Humboldt University of Berlin, Paul Maximilian Bittner University of Ulm, Lars Grunske Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin
23:20
20m
Full-paper
Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I
Technical Papers
Robbert Jongeling Malardalen University, Sachin Bhatambrekar , Anders Lofberg , Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University
23:40
20m
Talk
MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST
Technical Papers
Bahman Zamani University of Isfahan, Mahsa Panahandeh University of Alberta, Mohammad Hamdaqa , Wahab Hamou-Lhadj Concordia University, Montreal, Canada
23:00 - 00:00
Modeling languages IIITechnical Papers at Room 2
Chair(s): Olivier Barais University of Rennes; Inria; IRISA
23:00
20m
Full-paper
On Designing Applied DSLs for Non-programming Experts in Evolving DomainsP&I
Technical Papers
Holger Borum IT University of Copenhagen, Henning Niss Edlund A/S, Peter Sestoft IT University of Copenhagen
23:20
20m
Full-paper
Designing a Modeling Language for Customer Journeys: Lessons Learned from User InvolvementP&I
Technical Papers
23:40
20m
Talk
Uncertainty representation in software models: A surveyJ1ST
Technical Papers
Javier Troya Universidad de Málaga, Spain, Nathalie Moreno , Manuel F. Bertoa , Antonio Vallecillo University of Málaga, Spain

Sat 16 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00
Model management and model transformations IVTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila
00:00
20m
Talk
A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST
Technical Papers
Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology
00:20
20m
Full-paper
Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT
Technical Papers
Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou
00:40
10m
Demonstration
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO
Technical Papers
00:00 - 01:00
Certification and Assurance IIITechnical Papers at Room 2
Chair(s): Daniel Amyot University of Ottawa
00:00
20m
Full-paper
Model-Based Development of Engine Control Systems: Experiences and Lessons LearntP&I
Technical Papers
Justin Cooper , Alfonso de la Vega University of York, Richard Paige McMaster University, Dimitris Kolovos University of York
00:20
20m
Full-paper
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and TaxonomyFT
Technical Papers
Tarik Terzimehic fortiss GmbH, Kirill Dorofeev fortiss GmbH, Sebastian Voss
00:40
20m
Full-paper
Synthesizing Verified Components for Cyber Assured Systems EngineeringP&I
Technical Papers
01:00 - 02:00
Backup SessionTechnical Papers at Room 1
Chair(s): Davide Di Ruscio University of L'Aquila

Accepted Papers

Title
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION
Technical Papers
Pre-print
A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT
Technical Papers
Pre-print
A Lean Approach to Building Valid Model-Based Safety ArgumentsFT
Technical Papers
A modeling assistant for cognifying MBSE toolsDEMO
Technical Papers
A Modeling Methodology for Collaborative Evaluation of Future Automotive InnovationsJ1ST
Technical Papers
Analysis of Variability Models: A Systematic Literature ReviewJ1ST
Technical Papers
AnimUML as a UML Modeling and Verification Teaching ToolDEMO
Technical Papers
Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I
Technical Papers
Pre-print
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I
Technical Papers

Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I
Technical Papers
A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST
Technical Papers
A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST
Technical Papers
Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST
Technical Papers
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
Technical Papers
Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test SelectionJ1ST
Technical Papers
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMFJ1ST
Technical Papers
Characteristics, Potentials, and Limitations of Open Source Simulink Projects for Empirical ResearchJ1ST
Technical Papers
Collaborative Model-Driven Software Engineering: A Systematic UpdateFT
Technical Papers
Collaborative Software Modeling in Virtual RealityFT
Technical Papers
Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST
Technical Papers
Controllable and Decomposable Multidirectional SynchronizationsJ1ST
Technical Papers
Cyber security threat modeling based on the MITRE Enterprise ATT&CK MatrixJ1ST
Technical Papers
DataTime: A Framework to Smoothly Integrate Past, Present and Future into ModelsP&I
Technical Papers
Designing a Modeling Language for Customer Journeys: Lessons Learned from User InvolvementP&I
Technical Papers
Distributed Model Validation with EpsilonJ1ST
Technical Papers
DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO
Technical Papers
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Papers
Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
Technical Papers
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and TaxonomyFT
Technical Papers
From Conceptual Models to Knowledge Graphs: A Generic Model Transformation PlatformDEMO
Technical Papers
Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST
Technical Papers
Guaranteed master for interval-based cosimulationJ1ST
Technical Papers
Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST
Technical Papers
Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I
Technical Papers
Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT
Technical Papers
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I
Technical Papers
Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Case StudyP&I
Technical Papers
Live Modeling in the Context of State Machine Models and Code GenerationJ1ST
Technical Papers
MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST
Technical Papers
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO
Technical Papers
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT
Technical Papers
Model-Based Cloud Resource Management with TOSCA and OCCIJ1ST
Technical Papers
Model-Based Development of Engine Control Systems: Experiences and Lessons LearntP&I
Technical Papers
Model-Driven Development Platform Selection: Four Industry Case StudiesJ1ST
Technical Papers
Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT
Technical Papers
Modelling on mobile devices: A systematic mapping studyJ1ST
Technical Papers
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production LinesFT
Technical Papers
MRegTest: A Replay-Based Regression Testing Approach for Distributed UML-RT ModelsDEMO
Technical Papers
Multi-Language Support in TouchCOREDEMO
Technical Papers
Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST
Technical Papers
MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST
Technical Papers
On Designing Applied DSLs for Non-programming Experts in Evolving DomainsP&I
Technical Papers
OSTRICH - A Safe Template Language for Low-code DevelopmentP&I
Technical Papers
Playground for multi-level modeling constructsJ1ST
Technical Papers
POLYGLOT for Gamified Education: Mixing Modelling and Programming ExercisesDEMO
Technical Papers
Pragmatic Reuse in DSML DevelopmentJ1ST
Technical Papers
Quality Guidelines for Research Artifacts in Model-Driven EngineeringFT
Technical Papers
Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST
Technical Papers
Repository Mining for Changes in Simulink ModelsP&I
Technical Papers
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingP&I
Technical Papers
Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT
Technical Papers
Spectra: A Specification Language for Reactive SystemsJ1ST
Technical Papers
Link to publication DOI
Synthesizing Verified Components for Cyber Assured Systems EngineeringP&I
Technical Papers
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic ExecutionVISION
Technical Papers
Towards Reinforcement Learning for In-Place Model TransformationsVISION
Technical Papers
Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT
Technical Papers
Uncertainty representation in software models: A surveyJ1ST
Technical Papers
Using Recommender Systems to Improve Proactive ModelingJ1ST
Technical Papers
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based ExercisesDEMO
Technical Papers
Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST
Technical Papers

Practice and Innovation Track

The goal of this track is to fill the gap between foundational research in model-based engineering (MBE) and industrial needs. We invite authors from academia and/or industry to submit original contributions reporting on the development of innovative MBE solutions in industries, public sector, or open-source settings, as well as innovative application of MBE in such contexts. Examples include:

  • Scalable and cost-effective methodologies and tools
  • Industrial case studies with valuable lessons learned
  • Experience reports providing novel insights

Each paper should provide clear take-away value by describing the context of a problem of practical importance, and the application of MBE that leads to a solution.

Evaluation Criteria: A paper in the P&I Track will be evaluated mainly from its practical take-away and the potential impact of the findings. More specifically, The paper should discuss why the solution to the problem is innovative (e.g., in terms of advancing the state-of-practice), effective, and/or efficient, and what likely practical impact it has or will have; The paper should provide a concise explanation of approaches, techniques, methodologies and tools employed; The paper should explain best practices that emerged, tools developed, and/or software processes involved. Studies reporting on negative findings must provide a thorough discussion of the potential causes of failure, and ideally a perspective on how to solve them.

Submission Process

The submission process for MODELS 2021 is similar to past MODELS conferences, with the specific details below. We follow a single blind review process for the Practice and Innovation Track. In a single blind process, authors’ names are identified to the reviewers and do not need to be removed from the paper. Please consult the submission information section below to prepare your manuscript accordingly.

Submission Guidelines

For the Practice and Innovation track, papers must be submitted electronically through the MODELS Practice and Innovation 2021 EasyChair web page.

  • Practice and Innovation track papers must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted.
  • All submissions must be in PDF. The page limit is strict, and it will not be possible to purchase additional pages at any point in the process (including after the paper is accepted).
  • Submissions must adhere to the IEEE formatting instructions, which can be found at: IEEE - Manuscript Templates for Conference Proceedings
  • The Practice and Innovation Track of MODELS 2021 will use a single-blind review process (i.e., authors do not have to hide their identities in their papers). Since industry papers typically rely heavily on the industrial/practical context in which the work was carried out, anonymizing the context may negatively impact the paper.
  • Please contact the Program Chairs if you have more questions.

Submissions that do not adhere to these limits or that violate the formatting guidelines will be desk-rejected without review. Accepted papers will be published in the conference proceedings published by IEEE. Selected papers from the conference will be invited to revise and submit extended versions of the papers for publication in the International Journal on Software and Systems Modeling (SoSyM).

Important Dates

Foundation Track and Practice and Innovation Track have the following deadlines:

  • April 30, 2021, Abstract submission
  • May 7, 2021, Paper submission
  • July 12, 2021, Author notification
  • July 31, 2021, Camera Ready Due

Please note that:

  • Abstract submission is mandatory.
  • All deadlines are hard. No extensions will be granted.
  • All dates are according to time zone “Anywhere on Earth”, i.e., UTC-12.
  • All accepted papers must be presented by an author who is registered as a “Regular” participant (student presenters must register as a Regular participant).

Attendance

If a submission is accepted, at least one author of the paper is required to attend the conference and present the paper in person.

Production of artifacts

After the notification, the authors of accepted papers will be invited to submit artifacts related to the paper to be evaluated by the Artifact Evaluation Committee.

Foundations Track

We invite authors to submit high quality contributions describing significant, original, and unpublished results in the following categories:

  1. Technical Papers

    Technical papers should describe innovative research in modeling or model-based engineering activities. Papers in this submission category should describe a novel contribution to the field and should carefully support claims of novelty with citations to the relevant literature.

    Evaluation Criteria: Technical papers are evaluated on the basis of originality, soundness, relevance, importance of contribution, strength of validation, quality of presentation and appropriate comparison to related work. Where a submission builds upon previous work of the author(s), the novelty of the new contribution must be described clearly with respect to the previous work. Technical papers need to discuss clearly how the results were validated (e.g., formal proofs, controlled experiments, empirical studies, rigorous case studies, or simulations). Authors are strongly encouraged to make the artifacts used for the evaluation publicly accessible, e.g., through a GitHub repository or an alternative that is likely to remain available. There will be an artifact evaluation process, as discussed below.

  2. New Ideas and Vision Papers.

    We solicit short papers that present new ideas and visions. Such papers may describe new, unconventional model-driven engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing modeling research that provides novel insight or that can lead to the development of new technologies or approaches, or apply modeling technology to radically new application areas.

    Evaluation Criteria: New ideas and vision papers will be assessed primarily on their level of originality and potential for impact on the field in terms of promoting innovative thinking. Hence, inadequacies in the state-of-the-art and the pertinence, correctness, and impact of the idea/vision must be described clearly, even though the new idea need not be fully worked out, and a fully detailed roadmap need not be presented.

Submission Process

The submission process for MODELS 2021 is similar to past MODELS conferences, with the specific details below. We follow a double blind review process for the Foundations Track. “New Ideas and Vision Papers” should be submitted to the Foundations Track as short papers as mentioned below. In the double blind review process, authors will not be identified to reviewers and reviewers will not be identified to authors. Please consult the submission information section below to prepare your manuscript accordingly.

Submission Guidelines

For the Foundations track, papers must be submitted electronically through the MODELS Foundation 2021 EasyChair web page.

  • Technical papers must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted.
  • “New Ideas/Vision” papers must not exceed 6 pages for the main text, inclusive of all figures, tables, appendices, etc. One more page containing only references is permitted.
  • All submissions must be in PDF. The page limit is strict, and it will not be possible to purchase additional pages at any point in the process (including after the paper is accepted).
  • Submissions must adhere to the IEEE formatting instructions, which can be found at: IEEE - Manuscript Templates for Conference Proceedings
  • The Foundations Track of MODELS 2021 will use a double-blind review process. Thus, no submission may reveal its authors’ identities. The authors must make every effort to honor the double-blind review process. In particular, the authors’ names must be omitted from the submission and references to their prior work should be in the third person. For more information, check the submission information page.

  • Please contact the Program Chairs if you have more questions.

Submissions that do not adhere to these limits or that violate the formatting guidelines will be desk-rejected without review. Accepted papers will be published in the conference proceedings published by IEEE. Selected papers from the conference will be invited to revise and submit extended versions of the papers for publication in the International Journal on Software and Systems Modeling (SoSyM).

Important Dates

Foundation Track and Practice and Innovation Track have the following deadlines:

  • April 30, 2021, Abstract submission
  • May 7, 2021, Paper submission
  • July 12, 2021, Author notification
  • July 31, 2021, Camera Ready Due

Please note that:

  • Abstract submission is mandatory.
  • All deadlines are hard. No extensions will be granted.
  • All dates are according to time zone “Anywhere on Earth”, i.e., UTC-12.
  • All accepted papers must be presented by an author who is registered as a “Regular” participant (student presenters must register as a Regular participant).

Submission Information

The Foundations Track of MODELS 2021 will follow a double-blind reviewing process in which the identity of authors will not be known to the program committee at any time during the process. The papers submitted must not reveal the authors´ identities in any way. Hence, the authors should make every reasonable effort to keep the paper anonymous, but of course there is no need to guarantee that the authors’ identity is undiscoverable.

Why Double Blind?

There are many reasons for a double-blind review process at conferences, including to avoid (even unconscious) bias from the reviewers. Hence, to make the review process as fair as possible, we want to avoid either positive or negative bias of reviewers from the authors’ identities. Recently, many conferences have moved to a double blind process to avoid such bias, including ICSE, ICSME, FASE, ESEC/FSE, and ASE, among many others. For more information on motivations for double-blind reviewing, see Claire Le Goues’s very well argued, referenced and evidenced blog posting in favor of double-blind review processes for Software Engineering conferences. See also a list of double-blind resources from Robert Feldt, as well as a more formal study of the subject by Moritz Beller and Alberto Bacchelli, as well as studies on the benefits of double blind in merit reviewing. How to prepare your paper for double-blind reviewing?

  • Omit all authors’ names and affiliations from the title page. Omit also acknowledgements, if they mention any names or organizations.
  • Refer to your own work in the third person. You should not change the names of your own previously published tools, approaches, or systems, because this would clearly compromise the review process. Instead, refer to the authorship or provenance of tools, approaches, or systems in the third person, so that it is credible that another author could have written your paper.
  • If possible, do not rely on external sources for supplementary material (your website, your GitHub repository, your YouTube channel, a companion technical report or thesis) in the paper. Such material might reveal author identities. It is possible to post a link to an anonymous GitHub repository, or anonymous web hosting services, but the repository should be checked carefully for any information that could reveal the author’s identity, and it could be helpful to warn the reader that accessing the repository could reveal the author’s identity. In any case, you will be able to submit supplementary material through the EasyChair submission site, but check the material carefully for anything that can reveal the author’s identity. Here are some additional tips on anonymization from ACM.

Authors having further questions on double blind reviewing are encouraged to contact the Program Chairs by email. Papers that do not comply to the double blind review process will be desk-rejected.

Attendance

If a submission is accepted, at least one author of the paper is required to attend the conference and present the paper in person.

Production of artifacts

After the notification, the authors of accepted papers will be invited to submit artifacts related to the paper to be evaluated by the Artifact Evaluation Committee.

Foundation Track Practice & Innovation Track


Foundation Track


Execution Trace Analysis for a Precise Understanding of Latency Violations

Maysam Zoor and Ludovic Apvrille.

Towards the Characterization of Realistic Model Generators using Graph Neural Networks

Jose Antonio Hernandez Lopez and Jesus Sanchez Cuadrado.

Quality Guidelines for Research Artifacts in Model-Driven Engineering

Carlos Diego Damasceno and Daniel Struber.

Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development

Majid Babaei and Juergen Dingel.

Collaborative Model-Driven Software Engineering: A Systematic Update

Istvan David, Kousar Aslam, Sogol Faridmoayer, Ivano Malavolta, Eugene Syriani and Patricia Lago.

Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines

Eric Roslin Wete Poaka, Andreas Wortmann, Joel Greenyer, Oliver Flegel and Martin Klein.

Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution

Florian Simon Ege and Matthias Tichy.

Collaborative Software Modeling in Virtual Reality

Enes Yigitbas, Simon Gorissen, Nils Weidmann and Gregor Engels.

Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy

Tarik Terzimehic, Kirill Dorofeev and Sebastian Voss.

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments

Vanessa Tietz, Julian Schoepf, Andreas Waldvogel and Bjoern Annighoefer.

Towards Reinforcement Learning for In-Place Model Transformations

Martin Eisenberg, Hans-Peter Pichler, Antonio Garmendia and Manuel Wimmer.

A Lean Approach to Building Valid Model-Based Safety Arguments

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin and Marsha Chechik.

MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems

Michael Langford, Kenneth Chan, Jonathon Fleck, Philip McKinley and Betty Cheng.

A GNN-based Recommender System to Assist the Specification of Metamodels and Models

Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio and Phuong T. Nguyen.

Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules

Zahra Varaminybahnemiry, Jessie Galasso, Khalid Belharbi and Houari Sahraoui.

Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-Evolution

Elyes Cherfa, Soraya Kesraoui, Chouki Tibermacine, Regis Fleurquin and Salah Sadou.

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas and Radu Calinescu.

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees

Alexander Schultheis, Paul Maximilian Bittner, Lars Grunske, Thomas Thum and Timo Kehrer.


Practice & Innovation Track


OSTRICH - A Safe Template Language for Low-code Development

Hugo Lourenco, Carla Ferreira and Joao Costa Seco.

Leveraging Model-Driven Technologies for JSONArtefacts: The Shipyard Case Study

Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli, Manuel Wimmer and Johannes Braeuer.

Identifying manual changes to generated code: Experiences from the industrial automation domain

Robbert Jongeling, Sachin Bhatambrekar, Anders Lofberg, Antonio Cicchetti, Federico Ciccozzi and Jan Carlson.

On designing applied DSLs for non-programming experts in evolving domains

Holger Borum, Henning Niss and Peter Sestoft.

Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

Justin Cooper, Alfonso de la Vega, Richard Paige, Dimitris Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Pina and Horacio Hoyos Rodriguez.

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving

Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, Tao Yue and Shaukat Ali.

Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software

Bianca Wiesmayr, Alois Zoitl and Rick Rabiser.

Synthesizing Verified Components for Cyber Assured Systems Engineering

Konrad Slind, Junaid Babar, Eric Mercer, Isaac Amundson and David Hardin.

Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement

Ragnhild Halvorsrud, Costas Boletsis and Enrique Garcia-Ceja.

DataTime: a framework to smoothly integrate past, present and future into models

Lyan Gauthier, Jean-Marc Jezequel, Benoit Combemale and David Gross-Amblard.

Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal

Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff and Roman Dumitrescu.

Repository Mining for Changes in Simulink Models

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford and Richard Paige.

Applying Declarative Analysis to Software Product Line Models: An Industrial Study

Ramy Shahin, Rob Hackman, Rafael Toledo, Ramesh S., Jo Atlee and Marsha Chechik.

MODELS 2021’s review will use a two phase process with early rejection and an optional author’s response.

Phase 1:

  • In the first phase, all papers that conform to the submission guidelines will be peer-reviewed by at least three members of the Program Committee.
  • The review of each paper will be continuously monitored by one Program Board member. The Program Chairs will also be heavily involved in monitoring discussions and reviews to ensure that constructive and sufficiently detailed reviews are produced.
  • After reviews are completed, Program Board members will lead discussions on papers assigned to them, in order to come up with initial recommendations.
  • Papers with at least one supporter will progress to the second phase. Early reject notifications will be sent to papers without any supporting reviews.

Phase 2:

  • At the beginning of the second phase, the Program Board may ask the authors to provide brief clarifications to the most critical questions or concerns raised by the reviewers as part of a lightweight (and optional) Authors’ Response period.
  • The authors may opt out from the author response phase upon the submission of their paper. In this case, they will not receive any author response requests from the Program Board.
  • All remaining papers (with or without authors’ responses) will be extensively discussed in an extended discussion phase by the responsible Program Board and Program Committee members to reach a final recommendation based on consensus.
  • All these recommendations will be discussed at the Program Board meeting, to be held in early July 2021, in order to come up with final decisions on which papers will be presented at the conference.
  • The Program Committee, the Program Board and the Program Chairs are committed during the entire process to provide sufficiently detailed feedback so that authors can both improve their papers and understand the rationale behind final decisions.

Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software, datasets, proofs) to the Artifact Evaluation track. The Artifact Evaluation track is run by a separate committee whose task is to assess how the artifacts support the results presented in the papers. Participation in the Artifact Evaluation process is optional and does not affect the final decision regarding the papers. Papers that successfully go through the Artifact Evaluation process will be rewarded with a seal of approval printed on the paper themselves. The artifacts will be archived.