org.palladiosimulator.pcm.usagemodel

Interface ScenarioBehaviour

All Superinterfaces:

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:

ScenarioBehaviourImpl

public interface ScenarioBehaviour
extends Entity

A representation of the model object 'Scenario Behaviour '. A ScenarioBehaviour specifies possible sequences of executing services provided by the system. It contains a set of AbstractUserActions, each referencing a predecessor and successor (except the first and last action), thereby forming a sequence of actions. See the AbstractAction documentation for why it is advantageous to model control flow in this way, as the same principle is used in the RDSEFF language. Concrete user actions of the usage model are: - Branch - Loop - EntryLevelSystemCall - Delay - Start - Stop So far, ScenarioBehaviours do not include forks in the user flow (i.e., splitting the flow with an AND semantic), as it is assumed that users always act sequentially. As there are no random variables depending on other variables in the usage model, there are no equivalent actions to GuardedBranchTransitions or CollectionIteratorActions.

The following features are supported:

• Usage Scenario Senario Behaviour
• Branch Transition Scenario Behaviour
• Loop Scenario Behaviour
• Actions Scenario Behaviour

See Also:

UsagemodelPackage.getScenarioBehaviour()

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
boolean	EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	Exactlyonestart(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	Exactlyonestop(DiagnosticChain diagnostics, Map<Object,Object> context)
EList<AbstractUserAction>	getActions_ScenarioBehaviour() Returns the value of the 'Actions Scenario Behaviour' containment reference list.
BranchTransition	getBranchTransition_ScenarioBehaviour() Returns the value of the 'Branch Transition Scenario Behaviour' container reference.
Loop	getLoop_ScenarioBehaviour() Returns the value of the 'Loop Scenario Behaviour' container reference.
UsageScenario	getUsageScenario_SenarioBehaviour() Returns the value of the 'Usage Scenario Senario Behaviour' container reference.
void	setBranchTransition_ScenarioBehaviour(BranchTransition value) Sets the value of the 'Branch Transition Scenario Behaviour' container reference.
void	setLoop_ScenarioBehaviour(Loop value) Sets the value of the 'Loop Scenario Behaviour' container reference.
void	setUsageScenario_SenarioBehaviour(UsageScenario value) Sets the value of the 'Usage Scenario Senario Behaviour' container reference.

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

getUsageScenario_SenarioBehaviour

UsageScenario getUsageScenario_SenarioBehaviour()

Returns the value of the 'Usage Scenario Senario Behaviour' container reference. It is bidirectional and its opposite is 'Scenario Behaviour Usage Scenario'.

If the meaning of the 'Usage Scenario Senario Behaviour' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Usage Scenario Senario Behaviour' container reference.

See Also:

setUsageScenario_SenarioBehaviour(UsageScenario), UsagemodelPackage.getScenarioBehaviour_UsageScenario_SenarioBehaviour(), UsageScenario.getScenarioBehaviour_UsageScenario()

Generated class or method.

EMF model class or method.

opposite="scenarioBehaviour_UsageScenario" transient="false" ordered="false"

setUsageScenario_SenarioBehaviour

void setUsageScenario_SenarioBehaviour(UsageScenario value)

Sets the value of the 'Usage Scenario Senario Behaviour' container reference.

Parameters:

value - the new value of the 'Usage Scenario Senario Behaviour' container reference.

See Also:

getUsageScenario_SenarioBehaviour()

Generated class or method.

getBranchTransition_ScenarioBehaviour

BranchTransition getBranchTransition_ScenarioBehaviour()

Returns the value of the 'Branch Transition Scenario Behaviour' container reference. It is bidirectional and its opposite is 'Branched Behaviour Branch Transition'.

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

Returns:

the value of the 'Branch Transition Scenario Behaviour' container reference.

See Also:

setBranchTransition_ScenarioBehaviour(BranchTransition), UsagemodelPackage.getScenarioBehaviour_BranchTransition_ScenarioBehaviour(), BranchTransition.getBranchedBehaviour_BranchTransition()

Generated class or method.

EMF model class or method.

opposite="branchedBehaviour_BranchTransition" transient="false" ordered="false"

setBranchTransition_ScenarioBehaviour

void setBranchTransition_ScenarioBehaviour(BranchTransition value)

Sets the value of the 'Branch Transition Scenario Behaviour' container reference.

Parameters:

value - the new value of the 'Branch Transition Scenario Behaviour' container reference.

See Also:

getBranchTransition_ScenarioBehaviour()

Generated class or method.

getLoop_ScenarioBehaviour

Loop getLoop_ScenarioBehaviour()

Returns the value of the 'Loop Scenario Behaviour' container reference. It is bidirectional and its opposite is 'Body Behaviour Loop'.

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

Returns:

the value of the 'Loop Scenario Behaviour' container reference.

See Also:

setLoop_ScenarioBehaviour(Loop), UsagemodelPackage.getScenarioBehaviour_Loop_ScenarioBehaviour(), Loop.getBodyBehaviour_Loop()

Generated class or method.

EMF model class or method.

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

setLoop_ScenarioBehaviour

void setLoop_ScenarioBehaviour(Loop value)

Sets the value of the 'Loop Scenario Behaviour' container reference.

Parameters:

value - the new value of the 'Loop Scenario Behaviour' container reference.

See Also:

getLoop_ScenarioBehaviour()

Generated class or method.

getActions_ScenarioBehaviour

EList<AbstractUserAction> getActions_ScenarioBehaviour()

Returns the value of the 'Actions Scenario Behaviour' containment reference list. The list contents are of type AbstractUserAction. It is bidirectional and its opposite is 'Scenario Behaviour Abstract User Action'.

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

Returns:

the value of the 'Actions Scenario Behaviour' containment reference list.

See Also:

UsagemodelPackage.getScenarioBehaviour_Actions_ScenarioBehaviour(), AbstractUserAction.getScenarioBehaviour_AbstractUserAction()

Generated class or method.

EMF model class or method.

opposite="scenarioBehaviour_AbstractUserAction" containment="true" ordered="false"

Exactlyonestart

boolean Exactlyonestart(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.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Start))->size() = 1'"

Exactlyonestop

boolean Exactlyonestop(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.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Stop))->size() = 1'"

EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor

boolean EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(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.actions_ScenarioBehaviour->select(s|not s.oclIsTypeOf(Start) and not s.oclIsTypeOf(Stop))->exists(a|a.oclAsType(AbstractUserAction).predecessor.oclIsUndefined()) and not self.actions_ScenarioBehaviour->select(s|not s.oclIsTypeOf(Start) and not s.oclIsTypeOf(Stop))->exists(a|a.oclAsType(AbstractUserAction).successor.oclIsUndefined())'"