By the same authors

Parallel model validation with epsilon

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

Full text download(s)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationModelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings
DateAccepted/In press - 9 Apr 2018
DatePublished (current) - 25 Jun 2018
Pages115-131
Number of pages17
PublisherSpringer-Verlag
Volume10890 LNCS
Original languageEnglish
ISBN (Print)9783319929965

Publication series

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

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations