Figure 7-6 SysML Block Definition Diagram to type ports
Constraints
We have seen so far how attributes are defined for blocks in order to represent their physical characteristics. Often, attributes of a set of systems are not independent. Consider two
respectively, and that the constraint {A.a greater than B.b} must hold true. SysML ConstraintBlocks allows the engineer to define any relationships (for example,
analytical) between the system attributes. These constraints form networks of expressions that are typically leveraged in simulations, for example, for requirements verification. Note that constraint blocks are not instantiated as runtime objects, but rather used to type special properties of blocks, as explained below.
