Package org.palladiosimulator.pcm.seff

Interface ResourceDemandingBehaviour

All Superinterfaces:

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

All Known Subinterfaces:

ForkedBehaviour, RecoveryActionBehaviour, ResourceDemandingInternalBehaviour, ResourceDemandingSEFF

All Known Implementing Classes:

ForkedBehaviourImpl, RecoveryActionBehaviourImpl, ResourceDemandingBehaviourImpl, ResourceDemandingInternalBehaviourImpl, ResourceDemandingSEFFImpl

public interface ResourceDemandingBehaviour
extends de.uka.ipd.sdq.identifier.Identifier

A representation of the model object ' Resource Demanding Behaviour'. Models the behaviour of a component service as a sequence of internal actions with resource demands, control flow constructs, and external calls. Therefore, the class contains a chain of AbstractActions. The emphasis in this type of behaviour is on the resource demands attached to internal actions, which mainly influence performance analysis. Each action in a ResourceDemandingBehaviour references a predecessor and a successor action. Exceptions are the first and last action, which do not reference a predecessor and a successor respectively. A behaviour is valid, if there is a continuous path from the first to last action, which includes all actions. The chain must not include cycles. To specify control flow branches, loops, or forks, component developers need to use special types of actions, which contain nested inner ResourceDemandingBehaviours to specify the behaviour inside branches or loop bodies. Any ResourceDemandingBehaviour can have at most one starting and one finishing action.

The following features are supported:

• Abstract Loop Action Resource Demanding Behaviour
• Abstract Branch Transition Resource Demanding Behaviour
• Steps Behaviour

See Also:

SeffPackage.getResourceDemandingBehaviour()

Generated class or method.

EMF model class or method.

Field Summary

Fields

Modifier and Type	Field	Description
static String	copyright

Method Summary

Modifier and Type	Method	Description
boolean	EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	ExactlyOneStartAction(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	ExactlyOneStopAction(DiagnosticChain diagnostics, Map<Object,Object> context)
AbstractBranchTransition	getAbstractBranchTransition_ResourceDemandingBehaviour()	Returns the value of the 'Abstract Branch Transition Resource Demanding Behaviour' container reference.
AbstractLoopAction	getAbstractLoopAction_ResourceDemandingBehaviour()	Returns the value of the 'Abstract Loop Action Resource Demanding Behaviour' container reference.
EList<AbstractAction>	getSteps_Behaviour()	Returns the value of the 'Steps Behaviour' containment reference list.
void	setAbstractBranchTransition_ResourceDemandingBehaviour(AbstractBranchTransition value)	Sets the value of the ' Abstract Branch Transition Resource Demanding Behaviour' container reference.
void	setAbstractLoopAction_ResourceDemandingBehaviour(AbstractLoopAction value)	Sets the value of the ' Abstract Loop Action Resource Demanding Behaviour' container reference.

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.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

getAbstractLoopAction_ResourceDemandingBehaviour

AbstractLoopAction getAbstractLoopAction_ResourceDemandingBehaviour()

Returns the value of the 'Abstract Loop Action Resource Demanding Behaviour' container reference. It is bidirectional and its opposite is 'Body Behaviour Loop'.

If the meaning of the 'Abstract Loop Action Resource Demanding Behaviour' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Abstract Loop Action Resource Demanding Behaviour' container reference.

See Also:

setAbstractLoopAction_ResourceDemandingBehaviour(AbstractLoopAction), SeffPackage.getResourceDemandingBehaviour_AbstractLoopAction_ResourceDemandingBehaviour(), AbstractLoopAction.getBodyBehaviour_Loop()

Generated class or method.

EMF model class or method.

opposite="bodyBehaviour_Loop" transient="false" ordered="false"

setAbstractLoopAction_ResourceDemandingBehaviour

void setAbstractLoopAction_ResourceDemandingBehaviour(AbstractLoopAction value)

Sets the value of the ' Abstract Loop Action Resource Demanding Behaviour' container reference.

Parameters:

value - the new value of the 'Abstract Loop Action Resource Demanding Behaviour' container reference.

See Also:

getAbstractLoopAction_ResourceDemandingBehaviour()

Generated class or method.

getAbstractBranchTransition_ResourceDemandingBehaviour

AbstractBranchTransition getAbstractBranchTransition_ResourceDemandingBehaviour()

Returns the value of the 'Abstract Branch Transition Resource Demanding Behaviour' container reference. It is bidirectional and its opposite is 'Branch Behaviour Branch Transition'.

If the meaning of the 'Abstract Branch Transition Resource Demanding Behaviour' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Abstract Branch Transition Resource Demanding Behaviour' container reference.

See Also:

setAbstractBranchTransition_ResourceDemandingBehaviour(AbstractBranchTransition), SeffPackage.getResourceDemandingBehaviour_AbstractBranchTransition_ResourceDemandingBehaviour(), AbstractBranchTransition.getBranchBehaviour_BranchTransition()

Generated class or method.

EMF model class or method.

opposite="branchBehaviour_BranchTransition" transient="false" ordered="false"

setAbstractBranchTransition_ResourceDemandingBehaviour

void setAbstractBranchTransition_ResourceDemandingBehaviour(AbstractBranchTransition value)

Sets the value of the ' Abstract Branch Transition Resource Demanding Behaviour' container reference.

Parameters:

value - the new value of the ' Abstract Branch Transition Resource Demanding Behaviour' container reference.

See Also:

getAbstractBranchTransition_ResourceDemandingBehaviour()

Generated class or method.

getSteps_Behaviour

EList<AbstractAction> getSteps_Behaviour()

Returns the value of the 'Steps Behaviour' containment reference list. The list contents are of type AbstractAction. It is bidirectional and its opposite is 'Resource Demanding Behaviour Abstract Action'.

If the meaning of the 'Steps Behaviour' containment reference list isn't clear, there really should be more of a description here...

Returns:

the value of the 'Steps Behaviour' containment reference list.

See Also:

SeffPackage.getResourceDemandingBehaviour_Steps_Behaviour(), AbstractAction.getResourceDemandingBehaviour_AbstractAction()

Generated class or method.

EMF model class or method.

opposite="resourceDemandingBehaviour_AbstractAction" containment="true" ordered="false"

ExactlyOneStopAction

boolean ExactlyOneStopAction(DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.steps_Behaviour->select(s|s.oclIsTypeOf(StopAction))->size() = 1'"

ExactlyOneStartAction

boolean ExactlyOneStartAction(DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.steps_Behaviour->select(s|s.oclIsTypeOf(StartAction))->size() = 1'"

EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor

boolean EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor(DiagnosticChain diagnostics,
                                                                                  Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='not self.steps_Behaviour->select(s|not s.oclIsTypeOf(StartAction) and not s.oclIsTypeOf(StopAction))->exists(a|a.oclAsType(AbstractAction).predecessor_AbstractAction.oclIsUndefined()) and not self.steps_Behaviour->select(s|not s.oclIsTypeOf(StartAction) and not s.oclIsTypeOf(StopAction))->exists(a|a.oclAsType(AbstractAction).successor_AbstractAction.oclIsUndefined())'"