Type inference in flexible model-driven engineering

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

doi:10.1007/978-3-319-21151-0_6

Type inference in flexible model-driven engineering

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

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Modelling Foundations and Applications
Subtitle of host publication	11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings
Publisher	Springer
Pages	75-91
Number of pages	17
Volume	9153
ISBN (Electronic)	978-3-319-21151-0
ISBN (Print)	9783319211503
DOIs	https://doi.org/10.1007/978-3-319-21151-0_6
Publication status	Published - 17 Jul 2015
Event	11th 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 2015 → 24 Jul 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9153
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015
Country/Territory	Italy
City	L’Aquila
Period	20/07/15 → 24/07/15

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1007/978-3-319-21151-0_6

Type Inference in Flexible Model-Driven Engineering
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Accepted author manuscript, 727 KB

Cite this

Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S., & Paige, R. F. (2015). Type inference in flexible model-driven engineering. In Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings (Vol. 9153, pp. 75-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9153). Springer. https://doi.org/10.1007/978-3-319-21151-0_6

Zolotas, Athanasios ; Matragkas, Nicholas ; Devlin, Sam et al. / Type inference in flexible model-driven engineering. Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Vol. 9153 Springer, 2015. pp. 75-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f784d48ab69c47da8ac077a67367a22e,

title = "Type inference in flexible model-driven engineering",

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.",

author = "Athanasios Zolotas and Nicholas Matragkas and Sam Devlin and Kolovos, {Dimitrios S.} and Paige, {Richard F.}",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.; 11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015 ; Conference date: 20-07-2015 Through 24-07-2015",

year = "2015",

month = jul,

day = "17",

doi = "10.1007/978-3-319-21151-0_6",

language = "English",

isbn = "9783319211503",

volume = "9153",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "75--91",

booktitle = "Modelling Foundations and Applications",

address = "Germany",

}

Zolotas, A, Matragkas, N, Devlin, S , Kolovos, DS & Paige, RF 2015, Type inference in flexible model-driven engineering. in Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. vol. 9153, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9153, Springer, pp. 75-91, 11th 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, 20/07/15. https://doi.org/10.1007/978-3-319-21151-0_6

Type inference in flexible model-driven engineering. / Zolotas, Athanasios; Matragkas, Nicholas; Devlin, Sam et al.
Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Vol. 9153 Springer, 2015. p. 75-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9153).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Type inference in flexible model-driven engineering

AU - Zolotas, Athanasios

AU - Matragkas, Nicholas

AU - Devlin, Sam

AU - Kolovos, Dimitrios S.

AU - Paige, Richard F.

N1 - This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2015/7/17

Y1 - 2015/7/17

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84949939812&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21151-0_6

DO - 10.1007/978-3-319-21151-0_6

M3 - Conference contribution

AN - SCOPUS:84949939812

SN - 9783319211503

VL - 9153

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 75

EP - 91

BT - Modelling Foundations and Applications

PB - Springer

T2 - 11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015

Y2 - 20 July 2015 through 24 July 2015

ER -

Zolotas A, Matragkas N, Devlin S , Kolovos DS , Paige RF. Type inference in flexible model-driven engineering. In Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Vol. 9153. Springer. 2015. p. 75-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-21151-0_6

Type inference in flexible model-driven engineering

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Cite this