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

There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: some components may be procured from third-party suppliers based on a Model specification or their code may be generated automatically from Models. This paper introduces mel - a model extraction language and interpreter for extracting facts from Models represented in XMI; these facts can be combined with facts extracted from other system components to form a lightweight model of an entire software system. We provide preliminary evidence that mel is sufficient to specify fact extraction from Models that have very different XMI representations. We also show that it can be easier to use mel to create a fact extractor for a particular Model representation, than to develop a specialized fact extractor for the Model from scratch.

Wed 21 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

15:00 - 16:15
B3-Model Analysis and ValidationTechnical Track at Room B
Chair(s): Marsha ChechikUniversity of Toronto, Canada
15:00
20m
Full-paper
Semantic Comparisons of Alloy ModelsFT
Technical Track
Jan Oliver RingertUniversity of Leicester, Syed Waqee WaliUniversity 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áthBudapest University of Technology and Economics, Aren BabikianMcGill University, Anqi Li, Kristóf Marussy, Daniel VarroMcGill 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. AtleeUniversity of Waterloo, Finn HacketComputer Science, University of Waterloo, Michael W. GodfreyUniversity of Waterloo, Canada
16:00
15m
Demonstration
Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
Technical Track