The OCL-based program for validating CAP modes is provided in CAP Models Validation.zip.

To validate a CAP model, e.g., system_n0.model, enter the following from within the CAP Models Validation directory:

java -jar ./ExecutableOne.jar system_n0.model

The main Python scripts are:

1. solve_cap_single_objective.py"

This one solves single-objective component allocation problems.

Usage: python .\solve_cap_single_objective.py ..\resources\system_n1.model ..\resources\solutionSet_1.model

2. solve_cap_multi_objective.py

This one solves multi-objective component allocation problems.

Usage: python .\solve_cap_multi_objective.py ..\resources\system_n1.model ..\resources\solutionSet_1_mo.model

3. visualize_solution_set.py

This one plots the solution set on a 3D scatter plot. In the plot, the high trade-off point(s) are shown in orange.

Usage: python .\visualize_solution_set.py ..\resources\system_n1.model ..\resources\solutionSet_1_mo.model

4. visualize_a_single_solution.py

This one visualizes a single solution using a Petal Diagram.

Usage: python .\visualize_a_single_solution.py ..\resources\system_n1.model ..\resources\solutionSet_1_mo.model 10

5. visualize_solution_set_Pseudo_Weights.py

This one visualizes the solution obtained using the pseudo-weight vector approach.

Usage: python .\visualize_solution_set_Pseudo_Weights.py ..\resources\system_n1.model ..\resources\solutionSet_1_mo.model

Feel free to contact me if you have any question: