You can validate your models against a set of SysML constraints called validation suites. You can use the SysML validation suite that comes with the SysML Plugin to validate SysML projects. You need to perform the validation manually to check your model against the predefined validation suites. The predefined validation suites have «validationSuite» stereotype applied.
SysML ValSuite - Activities contains SysML constraints on the following elements: Control Operator, Control Value, Discrete, noBuffer, Optional, Probability and Rate.
SysML ValSuite - Blocks contains SysML constraints on the following elements: Binding Connector, Block, Distributed Property, Part Property, Reference Property, Shared Property, Value Property and Value Type.
SysML ValSuite - Constraint Blocks contains SysML constraints on the following elements: Constraint Block and Constraint Property.
SysML ValSuite - Model Elements contains SysML constraints on the following elements: View and Viewpoint.
SysML ValSuite - Non-normative Extensions contains SysML constraints on the following elements: nonStreaming, Streaming, Design Constraint, Functional Requirement, Interface Requirement and Performance Requirement.
SysML ValSuite - Port and Flows contains SysML constraints on the following elements: Flow Port, Flow Property, Flow Specification and Item Flow.
SysML ValSuite - Requirements contains SysML constraints on the following elements: Copy, DeriveReqt, Requirement and Test Case
Info
You can find predefined validation suites in the Containment tree when the Show Auxiliary Resources option is enabled, expand the MD Customization for SysML Package > SysML constraints Package > SysML ValSuite Package. The SysML ValSuite Package is divided into separate Packages and contain an appropriate validation rules.
Limiting the scope of the constraints to be validated against
If you select the SysML ValSuite as the Validation Suite in the Validation dialog, your model is validated against all SysML validation suites at the same time. To limit the scope of the constraints to be validated against, select a more specific validation suite, such as SysML ValSuite - Blocks. The model or its part is validated against the selected validation suite. The Validation Results panel shows the results, listing all elements that do not conform to some constraints in the selected validation suite. These elements are called “invalid” elements and are highlighted.