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.
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)
