A model-driven framework for guided design space exploration

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró

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

32 Citations (Scopus)

Abstract

Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of transformation rules and (ii) satisfy a set of structural and numerical constraints. Since exhaustive exploration of the design space is infeasible for large models, the traversal is often guided by hints, derived by system analysis, to prioritize the next states to traverse (selection criteria) and to avoid searching unpromising states (cut-off criteria). In this paper, we define an exploration approach where selection and cut-off criteria are defined using dependency analysis of transformation rules and an algebraic abstraction. The approach is evaluated against other exploration techniques and illustrated on a cloud infrastructure configuration problem.

Original languageEnglish
Title of host publication2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
Pages173-182
Number of pages10
DOIs
Publication statusPublished - Dec 1 2011
Event2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 - Lawrence, KS, United States
Duration: Nov 6 2011Nov 10 2011

Publication series

Name2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Other

Other2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
CountryUnited States
CityLawrence, KS
Period11/6/1111/10/11

    Fingerprint

Keywords

  • design space exploration
  • model transformation

ASJC Scopus subject areas

  • Software

Cite this

Hegedüs, Á., Horváth, Á., Ráth, I., & Varró, D. (2011). A model-driven framework for guided design space exploration. In 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings (pp. 173-182). [6100051] (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings). https://doi.org/10.1109/ASE.2011.6100051