Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Wed 21 Oct 2020 16:00 - 16:15 at Room B - B3-Model Analysis and Validation Chair(s): Marsha Chechik

This contribution focuses on testing behavioral aspects of UML and OCL models. In our approach, a so-called model validator can automatically generate test cases (object models) by using manually written configurations for object models and additional OCL invariants. However, describing configurations can be a challenging task, especially for novel or part-time modelers. This paper presents an extension of the tool USE (UML-based Specification Environment) with valuable options for (a)~filmstrip model configuration and (b)~filmstrip templates in the model validation process. Developers specify the configuration for (application) model elements and accordingly, a filmstrip model configuration and a filmstrip template are automatically generated. A filmstrip template identifies recurring model parts which can reduce model validation time. The newly added functionalities strengthen the underlying testing technique by making it more developer-friendly.

Wed 21 Oct

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

15:00 - 16:15
B3-Model Analysis and ValidationTechnical Track at Room B
Chair(s): Marsha Chechik University of Toronto, Canada
15:00
20m
Full-paper
Semantic Comparisons of Alloy ModelsFT
Technical Track
Jan Oliver Ringert University of Leicester, Syed Waqee Wali University of Leicester, UK
DOI Pre-print
15:20
20m
Full-paper
Automated Generation of Consistent Models with Structural and Attribute ConstraintsFT
Technical Track
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Anqi Li , Kristóf Marussy , Daniel Varro McGill University / Budapest University of Technology and Economics
Link to publication
15:40
20m
Full-paper
mel - Model Extractor Language for Extracting Facts from ModelsFT
Technical Track
Robert Hackman , Joanne M. Atlee University of Waterloo, Finn Hacket Computer Science, University of Waterloo, Michael W. Godfrey University of Waterloo, Canada
16:00
15m
Demonstration
Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
Technical Track