All times are indicated in Coordinated Universal Time (UTC)
SDL Society AGM (Open to SDL society members only) Monday Oct 19, 2020 from 11:45 UTC to 12:45 UTC
SAM 2020 Program
Proceedings: Available on the ACM Digital Library and can be accessed here.
Clicking on the accepted paper title on the Accepted Papers page takes you to the ACM Digital Library page for the paper.
Monday October 19, 2020
13:00 UTC – 14:30 UTC:
- Welcome to SAM 2020 (General Chairs)
- Keynote by Dániel Varró (McGill University) (Chair : Abdelouahed Gherbi) The Automated Model Generation Challenge for the Assurance of Cyber-Physical Systems
14:30 – 15:00: Social Time
15:00 – 16:30: Session 1 - Model Management and Merging (Chair: Pau Fonseca i Casas)
- A Formalism for Specifying Model Merging Conflicts. Mohammadreza Sharbaf, Bahman Zamani and Gerson Sunyé
- Action-Driven Consistency for Modular Multi-Language Systems with Perspectives. Hyacinth Ali, Gunter Mussbacher and Jörg Kienzle
- Layout Merging with Relative Positioning. Hyacinth Ali and Gunter Mussbacher
16:30 – 17:30: Social Time
17:30 – 19:00: Session 2 - Models at run-time (Chair: Mohammad Hamdaqa)
- Towards automated provenance collection for runtime models to record system history. Owen Reynolds, Antonio Garcia-Dominguez and Nelly Bencomo
- Temporal Models for History-Aware Explainability. Juan Parra, Antonio Garcia-Dominguez, Luis Garcia Paucar and Nelly Bencomo
- Process-Based Simulation with Stackless Coroutines. Dorian Weber and Joachim Fischer
19:00 – 19:30: Social Time
19:30 – 21:00: Session 3 - Applications of Model-Driven Engineering (Chair: Ferhat Khendek)
- iContractML: A Domain Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms. Mohammad Hamdaqa, Lucas Alberto Pineda Metz and Ilham Qasse
- Qualitative fault modeling in safety critical Cyber Physical Systems Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey and Gabor Karsai
- SDL Cellular Automaton COVID-19 conceptualization Pau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma and Xavier Pi
Tuesday October 20, 2020
13:00 UTC – 14:30 UTC:
- Keynote by Sigrid Eldh (Ericsson AB) (Chair: Wahab Hamou-Lhadj) ...everything is a model!
- Award Ceremony (General Chairs)
14:30 – 15:00: Social Time
15:00 – 16:30: Session 4 - Modeling Languages (Chair: Sadaf Mustafiz)
- Bounded Verification of State Machine Models. Nafiseh Kahani and James Cordy
- An attempt to convert BPMN models to SDL. Mihal Brumbulli and Emmanuel Gaudin
- Facilitating the Co-Evolution of Semantic Descriptions in Standards and Models. Philip Makedonski and Jens Grabowski
- A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling. Sanaa Alwidian, Mouna Dhaouadi and Michalis Famelis
16:30 – 17:30: Social Time
17:30 – 19:00: Session 5 - Model Configuration and Traceability (Chair: Emmanuel Gaudin)
- Model-Based Reconfiguration Planning for a Distributed On-board Computer. Andrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt and Daniel Lüdtke
- A Model Traceability Framework for Network Service Management. Omar Hassane, Sadaf Mustafiz, Ferhat Khendek and Maria Toeroe
- Traceability Management of GRL and SysML Models. Amal Anda and Daniel Amyot
19:00 – 19:30: Social Time
19:30 – 21:00: SAM 2021 / Discussion / Closing Notes (General Chairs)
