> Validation Rules > capella.category > design > well-formedness > scenarios


WARNING DWF_DS_01 - InteractionUse referenced scenario check
This rule checks that an Interaction uses correctly references of a scenario.


ERROR DWF_DS_02 - Role instance type check
This rule checks that an Instance Role is correctly typed.


ERROR DWF_DS_03 - Scenario sequence message invoked operations check 1
This rule checks that sequence messages have an invoked operation.


ERROR DWF_DS_04 - Scenario sequence message invoked operations check 2
This rule checks that sequence messages have a correct invoked operation (sender shall use/require operation's interface and receiver shall implement/provide operation's interface).


WARNING DWF_DS_05 - Scenario sequence messages justification check 1
This rule checks that sequence messages are justified in sender/receiver Components terms between scenarios from different levels.


WARNING DWF_DS_06 - Scenario sequence messages justification check 2
This rule checks that sequence messages are justified in Operation terms between scenarios from different levels.


ERROR DWF_DS_07 - Sequence Messages not null invoked operation check
This rule checks that Sequence Messages have a not null invoked operation.


ERROR DWF_DS_08 - Ordering of interaction fragments
This rule checks that scenarios have a coherent ordering, i.e. finish of time lapses are after the corresponding beginning.


ERROR DWF_DS_09 - Sequence message allocated exchange items
This rule ensures that a sequence message does not allocate exchange items which are not allocated by invoked operation of sequence message.


ERROR DWF_DS_10 - Consistency of Scenario Kind vs level
This rule checks the consistency between Scenario kind and Level: On OA level, only INTERACTION Scenarios are allowed, On SYS/LC/PC levels, only DATA_FLOW, INTERFACE and FUNCTIONAL Scenarii are allowed, On EPBS level, only INTERFACE Scenarios are allowed. Whatever the level, UNSET Scenarios raise an error.


ERROR DWF_DS_11 - Scenario branchs sequence messages order check
This rule checks that sender and reply branches sequence messages are not inverted.


WARNING DWF_DS_12 - Scenario sequence messages and operations / functional exchanges consistency
This rule checks name consistency between operations / functional exchanges and sequence messages.


ERROR DWF_DS_13 - Timer must be a reflexive message
This rule checks that an arm timer or cancel timer message is reflexive.


ERROR DWF_DS_14 - A cancel timer must be within an arm timer
This rule checks that a cancel timer message is within an arm timer message.


ERROR DWF_DS_15 - a shared data READ must be within an execution
This rule checks that a shared data READ is within an execution.


ERROR DWF_DS_16 - Logical component scenario involvement decomposition check
This rule checks the refinement needed for decomposed Logical components.


WARNING DWF_DS_17 - A sequence message kind must be coherent with its transmission protocol
This rule checks that a sequence message kind is coherent with its transmission protocol.


ERROR DWF_DS_18 - OES/ES Sequence Messages consistency check
This rule checks that Sequence Messages in OES or ES scenarios are consistent with their associated Component Exchange or Functional Exchange.


ERROR DWF_DS_19 - OAS/FS Sequence Messages consistency check
This rule checks that Sequence Messages in OAS or FS scenarios are consistent with their associated Functional Exchange.


ERROR DWF_DS_20 - OES/ES State Fragments related function allocation consistency
Check that the AbstractFunction related to the current StateFragment is allocated by the Component (or a sub Component) associated to the instance role.


ERROR DWF_DS_21 - OES/ES State Fragments related Mode/State consistency
Check that the Mode/State related to the current StateFragment is contained by the Component associated to the instance role.


ERROR DWF_DS_22 - OAS/FS AbstractFunction availability in Mode/State
Check that the AbstractFunction associated to the instance role is available for the Mode/State related to the current StateFragment.