Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

This program is tentative and subject to change.

Wed 26 May 2021 16:40 - 17:00 at Blended Sessions Room 4 - 2.4.4. Models and DSLs Chair(s): Joanne M. Atlee
Thu 27 May 2021 04:40 - 05:00 at Blended Sessions Room 4 - 2.4.4. Models and DSLs

The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at the early stages of software development allows early detection of defects, which can be fixed more easily and at a lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally and show how the refinement preserves the original behaviors of the model.

This program is tentative and subject to change.

Wed 26 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:05 - 17:00
2.4.4. Models and DSLsNIER - New Ideas and Emerging Results / Journal-First Papers at Blended Sessions Room 4 +12h
Chair(s): Joanne M. AtleeUniversity of Waterloo
16:05
20m
Paper
Efficient execution of ATL model transformations using static analysis and parallelismJournal-First
Journal-First Papers
Jesús Sánchez Cuadrado, Loli BurgueñoOpen University of Catalonia, Manuel WimmerJKU Linz, Antonio VallecilloUniversity of Málaga, Spain
Link to publication DOI Pre-print
16:25
15m
Paper
Towards Domain-Specific Modelling Environments based on Augmented RealityNIER
NIER - New Ideas and Emerging Results
Léa BrunschwigUniversidad Autónoma de Madrid, Rubén Campos-LópezUniversidad Autónoma de Madrid, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraAutonomous University of Madrid
Pre-print
16:40
20m
Paper
Execution of Partial State Machine ModelsJournal-First
Journal-First Papers
Mojtaba Bagherzadeh, Nafiseh KahaniUniversity of Carlton, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
Link to publication DOI Pre-print

Thu 27 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

04:05 - 05:00
04:05
20m
Paper
Efficient execution of ATL model transformations using static analysis and parallelismJournal-First
Journal-First Papers
Jesús Sánchez Cuadrado, Loli BurgueñoOpen University of Catalonia, Manuel WimmerJKU Linz, Antonio VallecilloUniversity of Málaga, Spain
Link to publication DOI Pre-print
04:25
15m
Paper
Towards Domain-Specific Modelling Environments based on Augmented RealityNIER
NIER - New Ideas and Emerging Results
Léa BrunschwigUniversidad Autónoma de Madrid, Rubén Campos-LópezUniversidad Autónoma de Madrid, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraAutonomous University of Madrid
Pre-print
04:40
20m
Paper
Execution of Partial State Machine ModelsJournal-First
Journal-First Papers
Mojtaba Bagherzadeh, Nafiseh KahaniUniversity of Carlton, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
Link to publication DOI Pre-print

Information for Participants
Info for Blended Sessions Room 4: