By the same authors

Parallel model validation with epsilon

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

Standard

Parallel model validation with epsilon. / Madani, Sina; Kolovos, Dimitrios S.; Paige, Richard F.

Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Vol. 10890 LNCS Springer-Verlag, 2018. p. 115-131 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10890 LNCS).

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

Harvard

Madani, S, Kolovos, DS & Paige, RF 2018, Parallel model validation with epsilon. in Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. vol. 10890 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10890 LNCS, Springer-Verlag, pp. 115-131, 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, Toulouse, France, 26/06/18. https://doi.org/10.1007/978-3-319-92997-2_8

APA

Madani, S., Kolovos, D. S., & Paige, R. F. (2018). Parallel model validation with epsilon. In Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings (Vol. 10890 LNCS, pp. 115-131). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10890 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-92997-2_8

Vancouver

Madani S, Kolovos DS, Paige RF. Parallel model validation with epsilon. In Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Vol. 10890 LNCS. Springer-Verlag. 2018. p. 115-131. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-92997-2_8

Author

Madani, Sina ; Kolovos, Dimitrios S. ; Paige, Richard F. / Parallel model validation with epsilon. Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Vol. 10890 LNCS Springer-Verlag, 2018. pp. 115-131 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex - Download

@inproceedings{783adbcf2abc4199968faffdf8af1e22,
title = "Parallel model validation with epsilon",
abstract = "Traditional model management programs, such as transformations, often perform poorly when dealing with very large models. Although many such programs are inherently parallelisable, the execution engines of popular model management languages were not designed for concurrency. We propose a scalable data and rule-parallel solution for an established and feature-rich model validation language (EVL). We highlight the challenges encountered with retro-fitting concurrency support and our solutions to these challenges. We evaluate the correctness of our implementation through rigorous automated tests. Our results show up to linear performance improvements with more threads and larger models, with significantly faster execution compared to interpreted OCL.",
author = "Sina Madani and Kolovos, {Dimitrios S.} and Paige, {Richard F.}",
year = "2018",
month = jun,
day = "25",
doi = "10.1007/978-3-319-92997-2_8",
language = "English",
isbn = "9783319929965",
volume = "10890 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "115--131",
booktitle = "Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings",
address = "Germany",
note = "14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018 ; Conference date: 26-06-2018 Through 28-06-2018",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Parallel model validation with epsilon

AU - Madani, Sina

AU - Kolovos, Dimitrios S.

AU - Paige, Richard F.

PY - 2018/6/25

Y1 - 2018/6/25

N2 - Traditional model management programs, such as transformations, often perform poorly when dealing with very large models. Although many such programs are inherently parallelisable, the execution engines of popular model management languages were not designed for concurrency. We propose a scalable data and rule-parallel solution for an established and feature-rich model validation language (EVL). We highlight the challenges encountered with retro-fitting concurrency support and our solutions to these challenges. We evaluate the correctness of our implementation through rigorous automated tests. Our results show up to linear performance improvements with more threads and larger models, with significantly faster execution compared to interpreted OCL.

AB - Traditional model management programs, such as transformations, often perform poorly when dealing with very large models. Although many such programs are inherently parallelisable, the execution engines of popular model management languages were not designed for concurrency. We propose a scalable data and rule-parallel solution for an established and feature-rich model validation language (EVL). We highlight the challenges encountered with retro-fitting concurrency support and our solutions to these challenges. We evaluate the correctness of our implementation through rigorous automated tests. Our results show up to linear performance improvements with more threads and larger models, with significantly faster execution compared to interpreted OCL.

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

U2 - 10.1007/978-3-319-92997-2_8

DO - 10.1007/978-3-319-92997-2_8

M3 - Conference contribution

AN - SCOPUS:85048890503

SN - 9783319929965

VL - 10890 LNCS

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

SP - 115

EP - 131

BT - Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings

PB - Springer-Verlag

T2 - 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018

Y2 - 26 June 2018 through 28 June 2018

ER -