In model-driven engineering, the aim of design space exploration (DSE) is to generate a set of design candidates that satisfy a given set of constraints and requirements, and are optimal with respect to some criteria. In multi-paradigm modeling it is not uncommon to perform a variety of computationally expensive analyses as part of such an exploration process. However, existing DSE techniques do not take dependencies between solver operations into account, thereby failing to provide a mechanism for pruning infeasible solutions early. Motivated by this source of inefficiency, this paper discusses a conceptual approach to orchestrating solvers and design space exploration problems.
|Number of pages||6|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - jan. 1 2014|
|Event||8th Workshop on Multi-Paradigm Modeling, MPM 2014, Co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014 - Valencia, Spain|
Duration: szept. 30 2014 → …
ASJC Scopus subject areas
- Computer Science(all)