SysML Constraint Checker Plugin
The SysML model must hold certain rules to be able to be correctly transformed to SCADE, Classical B, etc. In order to maintain these rules, the plugin contains a definition of constraints, utilizing the Eclipse Validation Framework. Violations will be highlight within the model via markers. To start the model valdation, right click on the SysML model in the Model Explorer and select Validation > Select constraints and Validate model. The followin constraints are currently included:
- All parameters and return values of Operations have an associated type
- All names are valid Classical B identifier
- All SysML Block names are unique within the model
- No NamedElement uses a reserved Classical B keyword
Right click on the SysML model in the Model Explorer and select Validation > Select constraints and Validate model. The following pop-up appears where certain constraints can be selected to validated the model.
After the validation is finished, markers are set in the Model Explorer to indicate errors, warnings or just info. Also a Model Validation tab appears which shows a list of all encountered errors.
