IBM SG24-7368-00 Fitness Equipment User Manual


 
156 Model Driven Systems Development with Rational Products
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 sub-systems A and B having attributes a and b,
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.