Zusicherungsdiagramm
Das Zusicherungsdiagramm ist ein SysML-spezifischer Diagrammtyp, der die Programmanalyse mit der Design-Modellierung integriert. Ein Zusicherungsdiagramm ähnelt einem internen Blockdiagramm, mit der Ausnahme, dass nur die Konnektortypen angezeigt werden dürfen, die an mindestens einem Ende mit Constraint-Parametern verbunden sind.
Im Zusicherungsdiagramm werden die Eigenschaften anderer Blöcke im Zusicherungsdiagramm mit Hilfe von in einem Blockdefinitionsdiagramm definierten Constraint-Blöcken eingeschränkt. Constraint-Blöcke werden zur Unterscheidung von normalen, eckig umrandeten Teilen mit abgerundeten Ecken angezeigt.
![um-sysml-par-01](./images/um-sysml-par-01.png)
Zusicherungsdiagramm
Das Stereotyp «constraint» in einem Block gibt an, dass es sich beim Block um einen Constraint-Block handelt. Die Parameter des Constraint werden in Blockdefinitionsdiagrammen in einem Bereich "parameters" angezeigt.
![um-sysml-par-02](./images/um-sysml-par-02.png)