BerkeleyDB Example

Back to Introduction

Here we have another example adapted and scaled down from SQJ 2011

In order to analyze the model, click the link below: (not the right link)

First, we need to define components with some quality attributes price, footprint, and reliability:

Next, write a model of our product line with some variability regarding the components. We need to set the values for quality attributes of each component.

Next, we define an unconstrained configuration allowing for all combinations of options:

Finally, we define the optimization goals:

“Minimize total footprint”:

“Minimize total price”:

“Maximize total reliability”:

The analyzer will fail to produce any instances because the default maximum integer is too small. Set the max int parameter to 4095 and click on Optimize just above the editor.