2019
DOI: 10.5381/jot.2019.18.2.a3
|View full text |Cite
|
Sign up to set email alerts
|

Towards Optimisation of Model Queries: A Parallel Execution Approach.

Abstract: The growing size of software models poses significant scalability challenges. Amongst these challenges is the execution time of queries and transformations. In many cases, model management programs are (or can be) expressed as chains and combinations of core fundamental operations. Most of these operations are pure functions, making them amenable to parallelisation, lazy evaluation and short-circuiting. In this paper we show how all three of these optimisations can be combined in the context of Epsilon: an OCL… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
17
0

Year Published

2020
2020
2022
2022

Publication Types

Select...
4
3

Relationship

4
3

Authors

Journals

citations
Cited by 11 publications
(17 citation statements)
references
References 7 publications
0
17
0
Order By: Relevance
“…Other areas with elements in the order of millions include Building Information Modelling and reverseengineered code from complex systems [25]. While executing complex and computationally expensive queries over such large models, there is a significant performance cost in terms of execution time [21]. Low-code platform is an instance of a generic model-driven platform.…”
Section: Motivationmentioning
confidence: 99%
See 2 more Smart Citations
“…Other areas with elements in the order of millions include Building Information Modelling and reverseengineered code from complex systems [25]. While executing complex and computationally expensive queries over such large models, there is a significant performance cost in terms of execution time [21]. Low-code platform is an instance of a generic model-driven platform.…”
Section: Motivationmentioning
confidence: 99%
“…In Listing 1, we have a constraint named SubsystemCounterpart (Line 1-6) that checks that for every Activity in UML model there exists a corresponding Subsystem in the Simulink model with the same name and vice-versa (Line 7-10). The constraints also check that requirements refer to valid subsystem names (Line [16][17][18][19][20][21] and that there is at least one requirement for every subsystem (Line [11][12][13][14][15]. Now, if we consider evaluating this constraint over a pair of large UML/Simulink models, it would become computationally expensive and slow to execute, as each UML activity will be checked against a large number of subsystems within the Simulink model.…”
Section: (B)mentioning
confidence: 99%
See 1 more Smart Citation
“…Moreover, EOL comes with imperative programming constructs such as loops and mutable variables. Finally, EOL also supports the parallel execution of some operations as well as laziness through data streams [35].…”
Section: Epsilon As a Complementary Modeling Technology For Model Permentioning
confidence: 99%
“…Two main kinds of operation are targeted: the binary operations that can have their operands evaluated simultaneously, and the iterative processes of independent treatments. In [30], Madani et al use multi-threading for "select-based" operations in EOL, the OCL-like language of the Epsilon framework, for querying models. e extension of the language with parallel features for selective operations have shown a non-negligible speed-up (up to 6x with 16 cores) in their evaluations on a model conform to the Internet Movie Database (IMDb) metamodel 1 .…”
Section: Task-parallelismmentioning
confidence: 99%