Paper Info
Title
A model-driven framework for guided design space exploration
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.
Year
DOI
Venue
2011
10.1109/ASE.2011.6100051
ASE
Keywords
Field
DocType
configuration design,cut-off criterion,exploration technique,design space,transformation rule,design space exploration,exhaustive exploration,cloud infrastructure configuration problem,different design candidate,model-driven framework,exploration approach,cloud computing,information systems,dependence analysis,software engineering,satisfiability,model driven engineering,system analysis,systems analysis
Model transformation,Tree traversal,Configuration design,Systems engineering,Model-driven architecture,Computer science,Systems analysis,Theoretical computer science,Design space exploration,Search-based software engineering,Traverse
Conference
Citations 
PageRank 
References 
14
0.62
33
Authors
4
Name
Order
Citations
PageRank
Abel Hegedus1371.80
Akos Horvath2342.16
Istvan Rath3644.37
Dániel Varró41682118.10