DCOM_24 - Sequence Message conveys no Exchange Item compared to its Invoked Operation | |
This rule generates a warning if a Sequence Message has no Exchange Item while its Invoked Operation has some. |
DWF_DS_01 - InteractionUse referenced scenario check | |
This rule checks that an Interaction uses correctly references of a scenario. |
DWF_DS_02 - Role instance type check | |
This rule checks that an Instance Role is correctly typed. |
DWF_DS_03 - Scenario sequence message invoked operations check 1 | |
This rule checks that sequence messages have an invoked operation. |
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). |
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. |
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. |
DWF_DS_07 - Sequence Messages not null invoked operation check | |
This rule checks that Sequence Messages have a not null invoked operation. |
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. |
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. |
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. |
DWF_DS_11 - Scenario branchs sequence messages order check | |
This rule checks that sender and reply branches sequence messages are not inverted. |
DWF_DS_12 - Scenario sequence messages and operations / functional exchanges consistency | |
This rule checks name consistency between operations / functional exchanges and sequence messages. |
DWF_DS_13 - Timer must be a reflexive message | |
This rule checks that an arm timer or cancel timer message is reflexive. |
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. |
DWF_DS_15 - a shared data READ must be within an execution | |
This rule checks that a shared data READ is within an execution. |
DWF_DS_16 - Logical component scenario involvement decomposition check | |
This rule checks the refinement needed for decomposed Logical components. |
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. |
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. |
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. |
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. |
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. |
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. |
DWF_DS_23 - Invalid referenced scenario | |
This rule checks that the interactionUse is referencing a Scenario that exists at the current Architectural Level. |
DWF_DS_24 - Instance role has different name compared to represented instance | |
This rule checks that the Instance Role has the same name as its Represented Instance. |