org.palladiosimulator.pcm.seff

Interface ProbabilisticBranchTransition

All Superinterfaces:

AbstractBranchTransition, org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, Entity, EObject, de.uka.ipd.sdq.identifier.Identifier, NamedElement, Notifier

All Known Implementing Classes:

ProbabilisticBranchTransitionImpl

public interface ProbabilisticBranchTransition
extends AbstractBranchTransition

A representation of the model object ' Probabilistic Branch Transition'. a GuardedBranchTransition, this transition provides a link between a BranchAction and a nested ResourceDemandingBehaviour, which includes the actions executed inside the branch. But instead of using a guard, it specifies a branching probability without parameter dependencies. Analysis tools may directly use it to determine the transition where the control flow continues. The probabilities of all ProbabilisticBranchTransitions belonging to a single BranchAction must sum up to 1.0. Although a probabilistic choice at a branch usually does not happen in a computer program, ProbabilisticBranchTransitions provide a convenient way of modelling in case the actual parameter dependency is too hard to determine or too complex to integrate into a guard. It can also be useful for newly designed components, where the parameter dependency on the control flow guard is still be unknown. However, this construct potentially introduces inaccuracies into the performance model, because it does not reflect the influence of input parameters. Therefore, predictions based on this model can be misleading, if the used input parameters would result in different branching probabilities. The component developer cannot foresee this, when specifying the RDSEFF using ProbabilisticBranchTransitions.

The following features are supported:

• Branch Probability

See Also:

SeffPackage.getProbabilisticBranchTransition()

Generated class or method.

EMF model class or method.

Field Summary

Fields

Modifier and Type	Field and Description
static String	copyright

Method Summary

Modifier and Type	Method and Description
double	getBranchProbability() Returns the value of the 'Branch Probability' attribute.
void	setBranchProbability(double value) Sets the value of the 'Branch Probability' attribute.

Methods inherited from interface org.palladiosimulator.pcm.seff.AbstractBranchTransition

getBranchAction_AbstractBranchTransition, getBranchBehaviour_BranchTransition, setBranchAction_AbstractBranchTransition, setBranchBehaviour_BranchTransition

Methods inherited from interface de.uka.ipd.sdq.identifier.Identifier

getId, setId

Methods inherited from interface org.palladiosimulator.pcm.core.entity.NamedElement

getEntityName, setEntityName

Methods inherited from interface org.eclipse.emf.cdo.CDOObject

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Detail

copyright

static final String copyright

See Also:

Constant Field Values

Generated class or method.

Method Detail

getBranchProbability

double getBranchProbability()

Returns the value of the 'Branch Probability' attribute.

If the meaning of the 'Branch Probability' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Branch Probability' attribute.

See Also:

setBranchProbability(double), SeffPackage.getProbabilisticBranchTransition_BranchProbability()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setBranchProbability

void setBranchProbability(double value)

Sets the value of the 'Branch Probability' attribute.

Parameters:

value - the new value of the 'Branch Probability' attribute.

See Also:

getBranchProbability()

Generated class or method.