menu Navigation
What’s new in SysML 1.4 – Constraining decompositions

What’s new in SysML 1.4 – Constraining decompositions

10. November 2014

Dieser Blogbeitrag wurde zuerst in meinem englischsprachigen MBSE-Blog veröffentlicht. Daher ist dieser Beitrag in englischer Sprache.

The fourth part of the blogpost series about the changes in SysML 1.4 presents the new concept to constrain a decomposition hierarchy.

The following figure shows a simple product tree of a drone subsystem (DS) for a forest fire detection system (FFDS). It is the sample system I’ve also used in some previous posts.

Product tree of a drone subsystem for a forest fire detection system

Product tree of a drone subsystem for a forest fire detection system (click to enlarge)

The structure allows different configurations of drone subsystem instances due to the multiplicitiy of the camera and the heat sensor and generalization of the camera. For instance drones with 2 standard FFDS cameras and no heat sensor or 1 highend FFDS camera and 1 heat sensor and so on.

SysML 1.4 introduces a new model element to constrain decomposition hierarchies. It is called bound reference. It  is a marker to highlight properties that are connected to other properties with a binding connector to constrain them. The binding connector specifies that the values of the connected properties must be the same.

The following diagram shows the definition of the bound reference properties for the drone subsystem:

Product tree of a drone subsystem for a forest fire detection system with bound references

Product tree of a drone subsystem for a forest fire detection system with bound references (click to enlarge)

The bound reference properties are connected with the appropriate properties in the decomposition hierarchy with a binding connector:

Binding of bound references

Binding of bound references (click to enlarge)

The bound reference bindingPath is a derived property. The value specifies the path from the enclosing block to the connected property and could be derived from the binding connector relation.

The type of the bound reference must be compatible with the type of the connected property. Otherwise the values of properties could not be the same.

In our example the types are the same (Camera and Heat sensor). The multiplicity of the bound reference is more general than the multiplicity of the connected properties. Therefore it is not necessary to update the multiplicity each time when the multiplicity of the connected properties changes, for example due to a change of the requirements or a new architecture decision..

Now it is easy to define special drone subsystem configurations. For instance drones with 2 standard FFDS cameras and no heat sensor or drones with 1 highend FFDS camera and 1 heat sensor:

Variants of a drone subsysteme with bound references

Variants of a drone subsysteme with bound references (click to enlarge)

Of course the concept of the bound reference properties could be used for the modeling of variants (for example see my blogpost Variant Modeling with SysML).

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.