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


ERROR DWF_D_01 - Union qualifier integrity
This rule ensures that every union property of an union (except discriminant and default property) has at least one qualifier.


ERROR DWF_D_02 - Union qualifier cardinality
This rule checks that a data value used as a qualifier for a union property cannot be used as a qualifier of another union property of the same union.


ERROR DWF_D_03 - Discriminant Union Property Qualifier
This rule ensures that the discriminant of an union do not have any qualifier.


ERROR DWF_D_04 - Composition Cardinality Rule
This rule checks that the cardinality of a source Class is 0..1 or 1..1 for an Association of Composition kind.


ERROR DWF_D_05 - Association Ends IsPrimitive check
This rule checks that the Association Ends are not primitive


ERROR DWF_D_06 - Property isPrimitive type check
This rule checks that the properties are of primitive type if there is no bound to an Association. This rule does nothing if a parent of a property is primitive.


ERROR DWF_D_08 - Union Discriminant
This rule ensures that Union has a discriminant.


ERROR DWF_D_10 - Aggregation/Composition navigability check
This rule checks that an Aggregation/Composition is navigable.


ERROR DWF_D_11 - Association member AggregationKind check
This rule checks that an Association contains at least one member with AggregationKind=ASSOCIATION.


ERROR DWF_D_12 - Property type check
This rule checks that the property is typed.


ERROR DWF_D_13 Consistency of Qualifier values
This rule ensures that the values used as qualifiers of Union Properties are consistent with the Discriminant of the Union.


ERROR DWF_D_14 - Association members check
This test checks that an Association has at least two members.


ERROR DWF_D_15 - Class self generalization
This rule checks that a Class cannot generalize itself.


ERROR DWF_D_16 - Class cycles check (inner package)
This rule checks whether some cycles between classes (through association or generalization) exist.


ERROR DWF_D_17 - Union Discriminant Data Value
This rule ensures that a data value of the discriminant type shall be used at least once as a qualifier for the union property(which is not the discriminant).


ERROR DWF_D_18 - Collection type check
This rule checks that a collection is typed.


ERROR DWF_D_19 - Class Multiple Inheritance
This rule checks that a Class (or a Component) cannot inherit from multiple classes (resp. Components) if the dedicated configuration option does not allow it.


ERROR DWF_D_21 - DataType Pattern Validation
This rule checks that the pattern of a data type is a Regular expression.


ERROR DWF_D_22 - Boolean Type Incorrect literals values
This rule ensures that a BooleanType can not have literals with same values.


ERROR DWF_D_23 - NumericValue Unit Consistency
This rule ensures that a NumericValue can not have an unit value different from the unit value of its type Length PhysicalQuantity.


ERROR DWF_D_24 - DataValue Pattern Validation
This rule checks that the value of the DataValue(LiteralNumericValue or LiteralStringValue) matches with the data type Regular expression. 1) value of dataValue must be set. 2) if dataValue typed, pattern should not be null.


ERROR DWF_D_25 - Dependency Cycle Detection
This rule detects Cycle of Dependencies.


ERROR DWF_D_26 LiteralBooleanValuel Type
This rule ensures that LiteralBooleanValue is typed by its parent BooleanType.


ERROR DWF_D_28 - DataValue Reference check
This rule ensures that DataValue Reference referenced value is named.


ERROR DWF_D_29 - Association members AggregationKind check 2
This rule ensures that an Association should not contains member with AggregationKind=UNSET.


ERROR DWF_D_30 - Boolean Value Family Type check
This rule ensures that LiteralBooleanValue and BooleanReference are Typed.


ERROR DWF_D_32 - Collection Value Family Type check
This rule ensures that CollectionValueReference is Typed.


ERROR DWF_D_33 - String Value Family Type check
This rule ensures that LiteralStringValue and StringReference are Typed.


ERROR DWF_D_34 - Complex Value Family Type check
This rule ensures that ComplexValue and ComplexValueReference are Typed.


ERROR DWF_D_35 - Enumeration Value Family Type check
This rule ensures that EnumerationLiteral and EnumerationReference are Typed.


ERROR DWF_D_36 - Numeric Value Family Type check
This rule ensures that LiteralNumericValue and NumericReference are Typed.


ERROR DWF_D_37 - Expression Value Family Type check
This rule ensures that BinaryExpression and UnaryExpression are Typed.


ERROR DWF_D_38 - Association Target Class Property key value check
This rule checks that a reference relationship association of kind ASSOCIATION can only exist, if and only if the target class has or inherits at least one property being a key.


ERROR DWF_D_39 - Data Value Name Check
This rule ensures that a data value defined directly in its name space (class, datatype, package) have a name.


ERROR DWF_D_40 - Association Consistency between layers
This rule ensures that an Association from given layer should not associate with elements of lower Architecture layer. Example: If an Association is on SystemArchitecture layer. It should not associate with any elements from Logical or Physical Layer.


ERROR DWF_D_41 - class with an abstract attribute/role
This rule chekcs if a class has an abstract attribute or a abstract role of an association on the navigable side, the class shall be abstract.


ERROR DWF_D_42 - Packages visibility problem
This rule detects that it is impossible to create an association from Class1 to Class2 if Class2 is in package0, and Class1 in packag1 within package0.


ERROR DWF_D_43 - Exchange Item Element Parameter Direction consistency
for an Exchange Item with anything but an Operation Exchange Mechanism, the inner Exchange Item Element shall NOT have a parameter direction set and - in case of an Exchange Item Operation Exchange Mechanism, all inner Exchanges Items Elements shall have a parameter direction set


ERROR DWF_D_44 - Enumeration Literals Domain Values Constraints
This rule ensures that enumeration literals domain values are typed according to the type of their container enumeration domain type.


ERROR DWF_D_45 - Class Association End Constraints
This rule checks that class relationships (e.g. association) between classes has valid source and target


ERROR DWF_D_46 - Association Container Check
This rule ensures that an Association is in its correct container: - Unidirectional associations are stored in their source class containers - Bidirectional and nondirectional association are stored in common ancestor of their source and target classes.


ERROR DWF_D_47 - Final Inheritance
This rule ensures that superTypes are not Final.


ERROR DWF_D_48 - Dangling LinkedText hyperlinks in OpaqueExpressions
Verifies that all LinkedText hyperlinks in an OpaqueExpression can be resolved


ERROR DWF_D_49 - Key Parts Cardinality Rule
In a class, when a property or an association role is part of key, value of maximum cardinality must be equal to one.


ERROR DWF_D_50 - Max Cardinality Is A Natural
In class property, association role and exchange item element, maximum cardinality value is defined and, unless abstract, evals to a value in [1, *[


ERROR DWF_D_51 - Min Cardinality Is A Natural Or Zero
In class property, association role and exchange item element minimum cardinality value is defined and, unless abstract, evals to a natural or zero (i.e. integer belonging to [0, *[)


ERROR DWF_D_52 - Type Of Default And Null Value For Property
For a property, type of the default (resp. null) value shall be Undefined (implicit typing) or the property's datatype or a super type of the property's datatype


ERROR DWF_D_53 - Property Or Role Overriding Is Not Allowed
A property/role in a class shall not have the same name as a property/role of a super-class


ERROR DWF_D_54 - Property Or Role Respects Covariance
If class K inherits class C, if property or association role is owned by C with type/class A and redefined in K with type/class B, then B inherits (or is equal to) A.