Package 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:

    See Also:
    UsagemodelPackage.getScenarioBehaviour()
    Generated class or method.
    EMF model class or method.

    • Method Detail

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

      • 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())'"