Package org.palladiosimulator.solver
Class DependencySolver
- java.lang.Object
-
- org.palladiosimulator.solver.DependencySolver
-
public class DependencySolver extends Object
TODO: It seems that this class is never used, and the functionality expected here is implemented elsewhere. The DependencySolver (DS) is a tool to substitute parameter names inside PCM stochastic expressions with characterisations originating from the usage model. In the usage model, the domain expert has to specify a variable characterisation (e.g., a constant or probability distribution) for each RequiredCharacterisation specified by component developers in Interfaces (see Chapter 4.1.4 of Heiko's dissertation). The DS propagates these characterisations through all elements of a PCM instance and inserts them into guard specifications, parametric loop iterations, parametric resource demands, and parameter usages specified by the component developer. Then, it solves the resulting stochastic expressions, so that they become constant values or probability distributions, and stores them, so that they can be used for a transformation into a performance model. The subsection on the dependencySolver in Heiko's dissertation first describes the expected input and produced output of the DS. Then, it describes the traversal of PCM instances, which depends on the evaluated parameter characterisations. Finally, it shows the process of solving dependencies, before giving an example.
-
-
Field Summary
Fields Modifier and Type Field Description protected de.uka.ipd.sdq.probfunction.math.IProbabilityFunctionFactory
iProbFuncFactory
-
Constructor Summary
Constructors Constructor Description DependencySolver(Properties config)
DependencySolver(ILaunchConfiguration configuration)
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Properties
getConfig(String[] args)
static void
main(String[] args)
-
-
-
Constructor Detail
-
DependencySolver
public DependencySolver(Properties config)
-
DependencySolver
public DependencySolver(ILaunchConfiguration configuration)
-
-
Method Detail
-
main
public static void main(String[] args)
- Parameters:
args
-
-
getConfig
public static Properties getConfig(String[] args)
-
-