Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Wed 17 May 2023 12:07 - 12:15 at Meeting Room 110 - Model-driven engineering Chair(s): Henry Muccini

Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or intentionally malformed) graph models is necessitated which is often carried out by solver-based model generation techniques. In many model generation scenarios, one needs more refined control over the generated unit tests to focus on the more relevant models. Type scopes allow to precisely define the required number of newly generated elements, thus one can avoid the generation of unrealistic and highly symmetric models having only a single type of elements. In this paper, we propose a 3-valued scoped partial modeling formalism, which innovatively extends partial graph models with predicate abstraction and counter abstraction. As a result, well-formedness constraints and multiplicity requirements can be evaluated in an approximated way on incomplete (unfinished) models by using advanced graph query engines with numerical solvers (e.g., IP or LP solvers). Based on the refinement of 3-valued scoped partial models, we propose an efficient model generation algorithm that generates models that are both well-formed and satisfy the scope requirements. We show that the proposed approach scales significantly better than existing SAT-solver techniques or the original graph solver without multiplicity reasoning. We illustrate our approach in a complex design-space exploration case study of collaborating satellites introduced by researchers at NASA JPL.

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
11:00
15m
Talk
A Model-based, Quality Attribute-guided Architecture Re-Design Process at Google
SEIP - Software Engineering in Practice
Qin Jia Google LLC, Yuanfang Cai Drexel University, Onur Çakmak Google LLC
11:15
15m
Talk
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development
Showcase
Majid Babaei McGill University, Juergen Dingel Queen's University, Kingston, Ontario
11:30
15m
Talk
A GNN-based Recommender System to Assist the Specification of Metamodels and Models
Showcase
Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila
11:45
7m
Talk
RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models
DEMO - Demonstrations
Zhen Tian Beihang University, Yilong Yang Beihang University, Sheng Cheng Software Engineering and Digitalization Center of China Manned Space Engineering
11:52
7m
Talk
(Journal-First Track) PRINS: Scalable Model Inference for Component-Based System Logs
Journal-First Papers
Donghwan Shin The University of Sheffield, Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Link to publication DOI
12:00
7m
Talk
Advantages and disadvantages of (dedicated) model transformation languages: A qualitative interview study
Journal-First Papers
Stefan Höppner Ulm University, Yves Haas Institute of Software Engineering and Programming Languages, Ulm University, Matthias Tichy Ulm University, Germany, Katharina Juhnke Institute of Software Engineering and Programming Languages, Ulm University
12:07
7m
Talk
Automated Generation of Consistent Graph Models With Multiplicity Reasoning
Journal-First Papers
Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
12:15
7m
Talk
MLTEing Models: Negotiating, Evaluating, and Documenting Model and System Qualities
NIER - New Ideas and Emerging Results
Katherine R. Maffey AI Integration Center, Kyle Dotterrer AI Integration Center, Jennifer Niemann AI Integration Center, Iain Cruickshank Army Cyber Institute, Grace Lewis Carnegie Mellon Software Engineering Institute, Christian Kästner Carnegie Mellon University
Pre-print