This section provides detailed descriptions of all validation rules that belong to the UML correctness validation suite.
- Activity Parameter Node Direction Validation Rule Impl
- A stereotype must be contained in a profile
- Behavior and Method Mismatch
- Call Message operation correctness
- Excess ActivityParameterNodes with Return Parameter
- Excess Return Parameters
- Inheritance From Final
- Instance Specification Type Mismatch
- Invalid Connector
- Invalid Property (UML correctness rules)
- Invalid Slot
- Invalid Tagged Value
- Missing slots in link
- Not Abstract Classifier
- Not Public Interface Feature
- Object node types compatibility
- Ports Compatibility
- Redefined symbols
- Role of Role Binding
- Slot Multiplicity
- Tags Multiplicity
- Tag type