Cross-Connecting Model Elements

Cross-connecting model elements are used to connect the components of the system. In ESL, this is done automatically by defining requirements between components, parameters and variables using a specific syntax. In SysML, this is done manually by defining the satisfy, verify and derive relations between different elements.

Satisfy, verify or derive relationship

The verify relationship is mainly used to link a use-case to a requirement. As there are no use-cases in ESL, this relationship is not used in the mapping. The derive relationship is used to link a requirement to another requirement. This relationship is also not used in the mapping.

The satisfy relationship is used to link a requirement to an element (e.g. block, activity, constraint). The resulting diagram is as follows:

Next!

Press next (or N on your keyboard) to head over to the next page! P is for Previous.