SYSML17 — Do parametric bindings observe derived and read-only properties

Do parametric bindings observe derived and read-only constraints on properties?

.

In SysML if I bind a read-only property value to a parameter, I would expect that any evaluation of the parametric model would not be able to update the property value. If I wanted to have such a value calculated, I would expect to take off the read-only constraint

Similarly, if I bind a derived property value to a parameter, I would expect that any evaluation of the parametric model would not use that value as an input, but only as an output.

However, this is answered (and I hope it is answered positively), the SysML specification should clarify this behavior

ConstraintBlock is a constraint no a mechanism

A ConstraintBlock is intended to represent a constraint that can happen to be met or violated. Tools vendors providing simulation facilities may want to implement a synchronization mechanism based on it but it's not required by this specification. If such a mechanism is provided, it is expected that either the tool will enforce the constraint or will notify a constraint violation if any. But again, this is not part of this specification.