Package 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
,PCMBaseClass
,PCMClass
- All Known Implementing Classes:
ProbabilisticBranchTransitionImpl
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:
- See Also:
- Generated class or method.
- EMF model class or method.
-
Field Summary
-
Method Summary
Modifier and TypeMethodDescriptiondouble
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 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 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.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Field Details
-
copyright
- See Also:
- Generated class or method.
-
-
Method Details
-
getBranchProbability
double getBranchProbability()Returns the value of the 'Branch Probability' attribute.- Returns:
- the value of the 'Branch Probability' attribute.
- See Also:
- 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:
- Generated class or method.
-