Type inference in flexible model-driven engineering

Athanasios Zolotas*, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In Model-Driven Engineering (MDE), models conform to metamodels. In flexible modelling, engineers construct example models with free-form drawing tools; these examples may later need to conform to a metamodel. Flexible modelling can lead to errors: drawn elements that should represent the same domain concept could instantiate different types; other drawn elements could be left untyped. We propose a novel type inference approach to calculating types from example models, based on the Classification and Regression Trees (CART) algorithm. We describe the approach and evaluate it on a number of randomly generated models, considering the accuracy and precision of the resultant classifications. Experimental results suggest that on average 80% of element types are correctly identified. In addition, the results reveal a correlation between the accuracy and the ratio of known-to-unknown types in a model.

Original languageEnglish
Title of host publicationModelling Foundations and Applications
Subtitle of host publication11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings
PublisherSpringer
Pages75-91
Number of pages17
Volume9153
ISBN (Electronic)978-3-319-21151-0
ISBN (Print)9783319211503
DOIs
Publication statusPublished - 17 Jul 2015
Event11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015 - L’Aquila, Italy
Duration: 20 Jul 201524 Jul 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9153
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015
Country/TerritoryItaly
CityL’Aquila
Period20/07/1524/07/15

Cite this