Package org.palladiosimulator.reliability.solver.pcm2markov

Class MarkovTransformationSource

java.lang.Object
org.palladiosimulator.reliability.solver.pcm2markov.MarkovTransformationSource
public class MarkovTransformationSource extends Object
Holds state information required during the PCM2Markov transformation. Holds a PCM instance as basis for the transformation, and keeps track of the physical system states (i.e., states of processing resources) that are considered during the transformation.

  • Constructor Details

    • MarkovTransformationSource

      public MarkovTransformationSource(org.palladiosimulator.solver.models.PCMInstance model, boolean sortDescriptors)
      Initializes a PCMInformationProvider and creates the corresponding resource descriptors.
      Parameters:
      model - the PCM instance
      sortDescriptors - indicates if the list of resource descriptors shall be sorted

  • Method Details

    • getDescriptor

      public ProcessingResourceDescriptor getDescriptor(org.palladiosimulator.pcm.seff.seff_performance.ParametricResourceDemand demand, org.palladiosimulator.solver.transformations.ContextWrapper contextWrapper)
      Retrieves a resource descriptor corresponding to the given resource demand.
      Parameters:
      demand - the resource demand
      contextWrapper - a contextWrapper providing a link to the actual resource
      Returns:
      the descriptor; NULL if no corresponding descriptor could be found

    • getDescriptor

      public ProcessingResourceDescriptor getDescriptor(org.palladiosimulator.pcm.resourceenvironment.ProcessingResourceSpecification resource)
      Retrieves a resource descriptor corresponding to the given processing resource specification.
      Parameters:
      resource - the processing resource specification
      Returns:
      the descriptor; NULL if no corresponding descriptor could be found

    • getModel

      public org.palladiosimulator.solver.models.PCMInstance getModel()
      Retrieves the PCM instance.
      Returns:
      the PCM instance

    • getUnreliableResourceDescriptors

      public List<ProcessingResourceDescriptor> getUnreliableResourceDescriptors()
      Returns a list of resource descriptors whose resources can fail, i.e., whose N/A state probability is greater than 0.
      Returns:
      the list of resource descriptors whose resources can fail, i.e., whose N/A state probability is greater than 0

    • printCurrentResourceStates

      public void printCurrentResourceStates()
      Prints the current permutation for debugging purposes.
      Parameters:
      descriptors - the list of resource descriptors