Package org.palladiosimulator.reliability.solver.pcm2markov

Class MarkovUsageModelVisitor

java.lang.Object
org.eclipse.emf.ecore.util.Switch<T>
org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
org.palladiosimulator.reliability.solver.pcm2markov.MarkovUsageModelVisitor
public class MarkovUsageModelVisitor extends org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
This class represents a visitor for a UsageModel within a PCM instance. The visitor is used in the transformation from PCM with solved dependencies into a Markov Chain Model for reliability prediction.

  • Field Summary

    Fields inherited from class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch

    copyright, modelPackage

  • Constructor Summary

    Constructors
    Constructor
    Description
    MarkovUsageModelVisitor(MarkovTransformationSource transformationState, MarkovEvaluationType evaluationType, boolean simplifiedStateHandling, boolean optimize, boolean recordTraces)
    The constructor.

  • Method Summary

    Modifier and Type
    Method
    Description
    MarkovChain
    caseBranch(org.palladiosimulator.pcm.usagemodel.Branch branch)
    Returns a Markov Chain corresponding to this Branch.
    MarkovChain
    caseDelay(org.palladiosimulator.pcm.usagemodel.Delay delay)
    Returns a Markov Chain correponding to this Delay.
    MarkovChain
    caseEntryLevelSystemCall(org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall call)
    Returns a Markov Chain that corresponds to this EntryLevelSystemCall.
    MarkovChain
    caseLoop(org.palladiosimulator.pcm.usagemodel.Loop loop)
    Returns a Markov Chain corresponding to this Loop.
    MarkovChain
    caseScenarioBehaviour(org.palladiosimulator.pcm.usagemodel.ScenarioBehaviour scenarioBehaviour)
    Returns a Markov Chain that corresponds to the first SystemLevelEntryCall within this ScenarioBehaviour.
    MarkovChain
    caseStart(org.palladiosimulator.pcm.usagemodel.Start start)
    Returns a Markov Chain that corresponds to this start action.
    MarkovChain
    caseStop(org.palladiosimulator.pcm.usagemodel.Stop stop)
    Returns a Markov Chain that corresponds to this stop action.

    Methods inherited from class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch

    caseAbstractUserAction, caseBranchTransition, caseClosedWorkload, caseEntity, caseIdentifier, caseNamedElement, caseOpenWorkload, casePCMBaseClass, casePCMClass, caseUsageModel, caseUsageScenario, caseUserData, caseWorkload, defaultCase, doSwitch, isSwitchFor

    Methods inherited from class org.eclipse.emf.ecore.util.Switch

    doSwitch, doSwitch

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • MarkovUsageModelVisitor

      public MarkovUsageModelVisitor(MarkovTransformationSource transformationState, MarkovEvaluationType evaluationType, boolean simplifiedStateHandling, boolean optimize, boolean recordTraces)
      The constructor.
      Parameters:
      transformationState - the Markov transformation state
      evaluationType - the degree of differentiation between failure types
      simplifiedStateHandling - controls the handling of physical resource states
      optimize - controls if Markov Chain reduction shall be performed during transformation
      recordTraces - controls if traces shall be recorded during transformation

  • Method Details

    • caseBranch

      public MarkovChain caseBranch(org.palladiosimulator.pcm.usagemodel.Branch branch)
      Returns a Markov Chain corresponding to this Branch.
      Overrides:
      caseBranch in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      branch - the branch action
      Returns:
      the resulting Markov Chain
      See Also:
      • UsagemodelSwitch.caseBranch(org.palladiosimulator.pcm.usagemodel.Branch)

    • caseDelay

      public MarkovChain caseDelay(org.palladiosimulator.pcm.usagemodel.Delay delay)
      Returns a Markov Chain correponding to this Delay.
      Overrides:
      caseDelay in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      delay - the delay action
      Returns:
      the resulting Markov Chain

    • caseEntryLevelSystemCall

      public MarkovChain caseEntryLevelSystemCall(org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall call)
      Returns a Markov Chain that corresponds to this EntryLevelSystemCall.
      Overrides:
      caseEntryLevelSystemCall in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      call - the call
      Returns:
      the resulting Markov Chain

    • caseLoop

      public MarkovChain caseLoop(org.palladiosimulator.pcm.usagemodel.Loop loop)
      Returns a Markov Chain corresponding to this Loop.
      Overrides:
      caseLoop in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      loop - the loop action
      Returns:
      the resulting Markov Chain

    • caseScenarioBehaviour

      public MarkovChain caseScenarioBehaviour(org.palladiosimulator.pcm.usagemodel.ScenarioBehaviour scenarioBehaviour)
      Returns a Markov Chain that corresponds to the first SystemLevelEntryCall within this ScenarioBehaviour.
      Overrides:
      caseScenarioBehaviour in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      scenarioBehaviour - the scenario behaviour
      Returns:
      the resulting Markov Chain

    • caseStart

      public MarkovChain caseStart(org.palladiosimulator.pcm.usagemodel.Start start)
      Returns a Markov Chain that corresponds to this start action.
      Overrides:
      caseStart in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      start - the start action
      Returns:
      the resulting Markov Chain

    • caseStop

      public MarkovChain caseStop(org.palladiosimulator.pcm.usagemodel.Stop stop)
      Returns a Markov Chain that corresponds to this stop action.
      Overrides:
      caseStop in class org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<MarkovChain>
      Parameters:
      stop - the stop action
      Returns:
      the resulting Markov Chain