This page contains all SysML constraints implemented in the tool as validation rules. You can find the rules in the validation suite (SysML ValSuite) and active validation suite (SysML activeValSuite) Packages stored under the Auxiliary Resources > MD Customization for SysML > SysML constraints.
The SysML validation suites and active validation suites include the following validation rules:
The list below displays only few SysML validation rules. The rest are under construction.
- Relationship and its ends differ in context
- If an Item Flow has an Item Property, one of the classifiers of conveyed items must be the same as the type of the Item Property
- Incompatible flow
- Incompatible flow directions
- Conjugated Interface Block synchronization of Flow Properties and Directed Features
- Original Interface Block is not defined
- Two conjugation mechanisms are mixed