de.uka.ipd.sdq.pcm.usagemodel
Interface ScenarioBehaviour

All Superinterfaces:

Entity, Identifier, NamedElement

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:

• Actions Scenario Behaviour

See Also:

UsagemodelPackage.getScenarioBehaviour()

Field Summary

static String

copyright

Method Summary

boolean	EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(DiagnosticChain diagnostics, Map<Object,Object> context) 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())
boolean	Exactlyonestart(DiagnosticChain diagnostics, Map<Object,Object> context) self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Start))->size() = 1
boolean	Exactlyonestop(DiagnosticChain diagnostics, Map<Object,Object> context) self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Stop))->size() = 1
	getActions_ScenarioBehaviour() Returns the value of the 'Actions Scenario Behaviour' containment reference list.

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

getId, idHasToBeUnique, setId

Methods inherited from interface de.uka.ipd.sdq.pcm.core.entity.NamedElement

getEntityName, setEntityName

Field Detail

copyright

static final String copyright

See Also:

Constant Field Values

Method Detail

getActions_ScenarioBehaviour

 getActions_ScenarioBehaviour()

Returns the value of the 'Actions Scenario Behaviour' containment reference list. The list contents are of type AbstractUserAction.

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()

Exactlyonestart

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

self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Start))->size() = 1

Parameters:

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

context - The cache of context-specific information.

Exactlyonestop

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

self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Stop))->size() = 1

Parameters:

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

context - The cache of context-specific information.

EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor

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

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())

Parameters:

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

context - The cache of context-specific information.