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:

    See Also:
    SeffPackage.getResourceDemandingBehaviour()
    Generated class or method.
    EMF model class or method.
    annotation="http://www.eclipse.org/emf/2002/Ecore constraints='exactlyOneStopAction exactlyOneStartAction eachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL exactlyOneStopAction='self.steps_Behaviour->select(s|s.oclIsTypeOf(StopAction))->size() = 1' exactlyOneStartAction='self.steps_Behaviour->select(s|s.oclIsTypeOf(StartAction))->size() = 1' eachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor='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())'"