Program at a Glance

0815-0900

Registration

0900-1030

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: AI-driven Streamlined Modeling

@Forum10

Tutorial: MBSE Grid: A Simplified Approach for Modeling Complex Systems

1030-1100

Coffee

1100-1230

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: AI-driven Streamlined Modeling

@Forum10

Tutorial: MBSE Grid: A Simplified Approach for Modeling Complex Systems

1230-1400

Lunch

1400-1530

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: The ADOxx Meta-modeling Platform: Concept, Architecture
and Practice

@Forum10

Tutorial: Software Engineering Intelligence: Case Studies on Model-Driven Engineering

1530-1600

Coffee

1600-1730

@Forum 8

2nd Workshop
on Modeling in Automotive Software Engineering

@Forum 13

1st Workshop
on Modelling for Sustainability with Exemplars

@Forum 3

1st
International Workshop on View-Oriented Software Engineering

@Forum 12

3rd Workshop on Model-Driven Engineering for the Internet-of-Things 

@Forum 2 International Workshop on Multi-Paradigm Modelling for Cyber-Physical
Systems

@Forum 9

Tutorial: The ADOxx Meta-modeling Platform: Concept, Architecture
and Practice

@Forum10

Tutorial: Software Engineering Intelligence: Case Studies on Model-Driven Engineering

0815-0900

Registration

0900-1030

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th International
Workshop on Human Factors in Modeling

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Applied Integration of Models and RT Systems using the DCP

@Forum 9

Mad@ Models

@Forum 10

MPS Day

1030-1100

Coffee

1100-1230

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Applied Integration of Models and RT Systems using the DCP

@Forum 9

Mad@ Models

@Forum 10

MPS Day

1230-1400

Lunch

1400-1530

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Qualitative Research Methods for MDE

@Forum 9

Mad@ Models

@Forum 10

1530-1600

Coffee

1600-1730

@Forum 2

6th
International Workshop on Multi-Level Modelling

@Forum 8

19th
International Workshop in OCL and Textual Modeling

@Forum 13

4th
International Workshop on Human Factors in Modeling

@Forum 12

1st Workshop
on Artificial Intelligence and Model-driven Eng.

@Forum 16

6th International Workshop on Model-driven Robot SW
Engineering

@Forum 1

3rd Workshop on Model-Driven Engineering Tools

@Forum 3

13th Workshop on Models and Evolution

@Forum 11

Tutorial:

Developing Reactive Systems using Statecharts

@Forum 14

Tutorial:

Qualitative Research Methods for MDE

@Forum 9

Mad@ Models

@Forum 10

1900-2300

Satellite
Reception @ Nockherberg

0815-0900

Registration

0900-1030

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run.time

@Forum 16

6th International Workshop
on Interplay of Model-Driven and Component-Based SWEng

@Forum 8

1st International Workshop
on Modeling Language Engineering and Execution

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial: Model-Driven SWEng
in Robotics: Models, Tools, Systems,
Solutions, Challenges

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

1030-1100

Coffee

1100-1230

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run.time

@Forum 16

6th International Workshop
on Interplay of Model-Driven and Component-Based SWEng

@Forum 8

1st International Workshop
on Modeling Language Engineering and Execution

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial: Model-Driven SWEng
in Robotics: Models, Tools, Systems,
Solutions, Challenges

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

1230-1400

Lunch

GEMOC Board Meeting @Forum 16

1400-1530

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 3

5th Flexible MDE Workshop

@Forum 2

14th International Workshop
on Models@run time

@Forum 8

1st International Workshop
on Modeling Language Engineering and Execution

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial:

Shadow Models: Incremental
Model Transform. as an Enabler for Language
Impl.

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

1530-1600

Coffee

1600-1730

@Forum 1

Automotive Day

@Forum 12

Doctoral Symposium

@Forum 9

Educators Symposium

@Forum 13

16th Workshop on
Model-Driven Engineering, Verification and Validation

@Forum 2

14th International Workshop
on Models@run.time

@Forum 8

1st International Workshop
on Modeling Language Engineering and Execution

@Forum 10

1st international workshop
on DevOps

@Forum 14

Tutorial:

Shadow Models: Incremental Model Transform. as an Enabler for Language
Impl.

@Forum 11

Tutorial:

Physical Systems for
Software Modellers

0800-0845

Registration

0845-0900

Welcome @Forum
1+2+3

0900-1000

Keynote Renzo Vitale – Designing Sounds and Music for Modernity @Forum1+2+3

1000-1030

Coffee

1030-1200

Regular papers @Forum 12+13+14
Data Quality and Security – chair: Timothy Lethbridge

• Using Models to Enable Compliance Checking against the GDPR: An Experience Report
• Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines
• Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings

Industry Day @Forum1+2+3

• Modeling and Simulation @Airbus – a fundamental digital transformation axis across product, manufacturing and support in service
• Adopting Model-Based Approaches for Safety-Critical Product Development: Observed Challenges and Roadblocks
• Models of time and their benefits in safe autonomous systems design

1200-1330

Lunch

Models 2020 OC meeting@Forum 12+13+14

1330-1500

Regular papers @Forum 12+13+14
Design and Development – chair: Eugene Syriani

• Exploiting Multi-Level Modelling for Designing and Deploying Gameful Systems
• Model-Driven Design of City Spaces via Bidirectional Transformations
• Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment

Industry Day @Forum 1+2+3

• Reasoning about the security of Amazon Web Services
• Enterprise IT Intelligence with Living Models
• Digital Twin & Symbiotic Mechatronics Approaches for System Development

1500-1530

Coffee

1530-1700

Regular papers @Forum 12+13+14
Testing – chair: Antonio Cicchetti

• A Model-based Testing Approach for Cockpit Display Systems of Avionics
• Towards effective mutation testing for ATL
• Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

Industry Day @Forum 1+2+3

• The Future of Open Source Modeling
• Panel

1700-1900

Models Steering Committee Meeting @Forum 12+13+14

1830-2300

Main Reception with Poster Session @Highlight Towers

0900-1000

Keynote Manfred Broy – On the Interplay between Formal Foundations, Peer Driven Research, Applied Research and Transfer in Software and Systems Engineering @Forum 1+2+3

1000-1030

Coffee

1030-1200

• Model Generation – combining MDE development and ROS manual code
• Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering
• Evaluating user interface generation approaches: model-based versus model-driven development

• Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping
• Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures
• A Modelling Language to Support Evolution of Multi-Tenant Cloud Data Architectures

Tools and Demos @Forum 9+10+11

REMODD Session – chair: Betty H. C. Cheng

• REMODD: Repository for Model-Driven Development — Hands-on Demonstration

1200-1330

Lunch

Models SC meeting @Forum 12+13+14

1330-1500

Regular papers @Forum 9+10+11
Model Execution – chair: Friedrich Steimann

• Domain-Level Observation and Control for Compiled Executable DSLs
• A Multi-Paradigm Modelling approach to live modelling
• Model execution tracing: a systematic mapping study

Tools and Demos @Forum 12+13+14 

• Combining UML RealTime with Node-RED
• ARGON: A Model-Driven Infrastructure Provisioning Tool
• MAPLE-T: A Tool for Process Enactment with Traceability Support
• GDF: a GamificationnDesign Framework powered by Model-Driven Engineering
• WAPIml: Towards a Modeling Infrastructure for Web APIs

Panel – chair: Eugene Syriani @Forum 1+2+3

 Modeling beyond Boxes and Arrows

1500-1530

Coffee

1530-1700

Regular papers @Forum 1+2+3
Formal Verification and Static Analysis – chair: Michalis Famelis

• Verifying and Monitoring UML Models with Observer Automata
• Applying static code analysis for domain-specific languages
• RoboChart: modelling and verification of the functional behavior of robotic applications
• Guarantees for Autonomous Vehicles

Regular papers @Forum 9+10+11
Modeling Environment – chair: Francis Bordeleau

• Model-based, Platform-independent Logging for Heterogeneous Targets
• A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
• Querying and annotating model histories with time-aware patterns

Tools and Demos @Forum 12+13+14

• Live-UMLRT: A Tool for Live Modeling of UML-RT Models
• A Model Driven Tool for Requirements and Hardware Engineering
• Verifying deadlock and nondeterminism in activity diagrams
• Quality Improvement for UML and OCL Models through Bad Smell and Metrics Definition
• UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams

1700-1900

SoSyM Editorial Board
Meeting @Forum 12+13+14

1830-2300

Banquet @Kaisersaal, Residenz

0845-0900

Announcement MODELS 2020 @Forum 1+2+3

0900-1000

Keynote Kristina Shea -Designing with 3D and 4D Printing: Impacts on computational modeling and optimization @Forum 1+2+3

1000-1030

Coffee

1030-1200

Most Influential Papers @Forum 1+2+3

• A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty
• Generating instance models from meta models
• Questionnaire-based variability modeling for system configuration

Regular papers @Forum 12+13+14

System Modeling – chair: Bran Selic

• On-the-fly Translation and Execution of OCL-like Queries on Simulink Models
• Thirteen years of SysML: a systematic mapping study
• Trade-off analysis for SysML models using decision points and CSPs

1200-1330

(Bavarian) Lunch

1330-1500

Regular papers @Forum 12+13+14
Runtime Models – chair: Matthias Tichy

• Towards WCET Estimation of Graph Queries@Run.time
• RaM: Requirements-aware Runtime Models for Decision making using Bayesian Inference
• Modeling approach and evaluation criteria for adaptive and longliving structural runtime models

Regular papers @Forum 9+10+11

Requirements Modeling And
Analysis – chair: Gregor Engels

• Bridging the Gap between Requirements Modeling and Behavior-driven Development
• CONDEnSe: Contract-Based Design Synthesis
• Goal-Based Modeling and Analysis of Non Functional Requirements

Regular papers @Forum 1+2+3

Modeling and ML/AI – chair: Stefan Kugele

• Automated Classification of Metamodel Repositories: A Machine Learning Approach
• Modeling and Training Neural Processing Systems
• An LSTM-Based Neural Network Architecture for Model Transformations
• Meta-Modelling Meta-Learning