Package org.palladiosimulator.solver.reliability.pcm2markov

Class MarkovUsageModelVisitor

  • public class MarkovUsageModelVisitor
extends org.palladiosimulator.pcm.usagemodel.util.UsagemodelSwitch<org.palladiosimulator.reliability.markov.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, org.palladiosimulator.reliability.MarkovEvaluationType evaluationType, boolean simplifiedStateHandling, boolean optimize, boolean recordTraces)
      The constructor.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.palladiosimulator.reliability.markov.MarkovChain caseBranch​(org.palladiosimulator.pcm.usagemodel.Branch branch)
      Returns a Markov Chain corresponding to this Branch.
      org.palladiosimulator.reliability.markov.MarkovChain caseDelay​(org.palladiosimulator.pcm.usagemodel.Delay delay)
      Returns a Markov Chain correponding to this Delay.
      org.palladiosimulator.reliability.markov.MarkovChain caseEntryLevelSystemCall​(org.palladiosimulator.pcm.usagemodel.EntryLevelSystemCall call)
      Returns a Markov Chain that corresponds to this EntryLevelSystemCall.
      org.palladiosimulator.reliability.markov.MarkovChain caseLoop​(org.palladiosimulator.pcm.usagemodel.Loop loop)
      Returns a Markov Chain corresponding to this Loop.
      org.palladiosimulator.reliability.markov.MarkovChain caseScenarioBehaviour​(org.palladiosimulator.pcm.usagemodel.ScenarioBehaviour scenarioBehaviour)
      Returns a Markov Chain that corresponds to the first SystemLevelEntryCall within this ScenarioBehaviour.
      org.palladiosimulator.reliability.markov.MarkovChain caseStart​(org.palladiosimulator.pcm.usagemodel.Start start)
      Returns a Markov Chain that corresponds to this start action.
      org.palladiosimulator.reliability.markov.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, caseUsageModel, caseUsageScenario, caseUserData, caseWorkload, defaultCase, doSwitch, isSwitchFor

    • Constructor Detail

      • MarkovUsageModelVisitor

        public MarkovUsageModelVisitor​(MarkovTransformationSource transformationState,
                               org.palladiosimulator.reliability.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 Detail

      • caseBranch

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        branch - the branch action
        Returns:
        the resulting Markov Chain
        See Also:
        UsagemodelSwitch.caseBranch(org.palladiosimulator.pcm.usagemodel.Branch)

      • caseDelay

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        delay - the delay action
        Returns:
        the resulting Markov Chain

      • caseEntryLevelSystemCall

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        call - the call
        Returns:
        the resulting Markov Chain

      • caseLoop

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        loop - the loop action
        Returns:
        the resulting Markov Chain

      • caseScenarioBehaviour

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        scenarioBehaviour - the scenario behaviour
        Returns:
        the resulting Markov Chain

      • caseStart

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        start - the start action
        Returns:
        the resulting Markov Chain

      • caseStop

        public org.palladiosimulator.reliability.markov.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<org.palladiosimulator.reliability.markov.MarkovChain>
        Parameters:
        stop - the stop action
        Returns:
        the resulting Markov Chain