Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 12:00 - 12:20 at SPLASH-III - Chair(s): Benoit Combemale, Eric Van Wyk
Mon 16 Nov 2020 00:00 - 00:20 at SPLASH-III - Chair(s): Sheng Chen

Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses.

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
SLE / GPCE at SPLASH-III +12h
Chair(s): Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Eric Van Wyk University of Minnesota, USA
11:00
20m
Talk
Automated Variability Injection for Graphical Modelling Languages
GPCE
Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Modular and Distributed IDE
SLE
Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
Correctness-by-Construction for Feature-Oriented Software Product Lines
GPCE
Tabea Bordis TU Braunschweig, Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig
Link to publication DOI Media Attached
12:00
20m
Talk
A Family of Languages for Trustworthy Agent-Based Simulation
SLE
Steffen Zschaler King's College London, Fiona Polack Keele University
Link to publication DOI Pre-print Media Attached
23:00 - 00:20
SLE / GPCE at SPLASH-III
Chair(s): Sheng Chen University of Louisiana at Lafayette
23:00
20m
Talk
Automated Variability Injection for Graphical Modelling Languages
GPCE
Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Modular and Distributed IDE
SLE
Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France
Link to publication DOI Pre-print Media Attached
23:40
20m
Talk
Correctness-by-Construction for Feature-Oriented Software Product Lines
GPCE
Tabea Bordis TU Braunschweig, Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig
Link to publication DOI Media Attached
00:00
20m
Talk
A Family of Languages for Trustworthy Agent-Based Simulation
SLE
Steffen Zschaler King's College London, Fiona Polack Keele University
Link to publication DOI Pre-print Media Attached