Package org.palladiosimulator.reliability.solver.pcm2markov
package org.palladiosimulator.reliability.solver.pcm2markov
-
ClassDescriptionDescribes a point of failure in a PCM model.This class provides methods for building Markov Chains.Indicates the current state of a PCM processing resource.Reflects a processing resource type from the PCM meta-model.This class represents an approximated Markov transformation result value.This class represents a visitor for an RDSEFF within a PCM instance.This class has the functionality to perform a complete PCM2Markov transformation.Aggregates the results of a PCM2MarkovTransformation.Holds state information required during the PCM2Markov transformation.This class represents a visitor for a UsageModel within a PCM instance.This class performs a transformation from a PCM instance to a Markov Chain instance, and solves the resulting Markov Chain instance.Describes the characteristics of a PCM processing resource with respect to its availability.