Towards an approach for orchestrating design space exploration problems to fix multi-paradigm inconsistencies

Sebastian J.I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Daniel Varró

Research output: Contribution to journalConference article

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)61-66
Number of pages6
JournalCEUR Workshop Proceedings
Publication statusPublished - Jan 1 2014
Event8th 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: Sep 30 2014 → …


  • Design space exploration
  • Solver orchestration

ASJC Scopus subject areas

  • Computer Science(all)

Cite this