Skip to content

SysML Constraint Checker Plugin

Jump to bottom
Alexander Stante edited this page Mar 11, 2014 · 5 revisions

Model Validation

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
Clone this wiki locally