SYSML17 — Figure 8-17: Vehicle specialization: multiple inconsistencies

From SysML-1.6:

'The specialization on the lower left restricts the number of cylinders to four, requires a light roll bar, and a total of 24 lug bolts over all the wheels. '

In block Vehicle Model 1:

• The multiplicity of cylinderBR should be [4] not [*]

• Multiplicity of rollBarBR should be [1] not [*] and it has no redefined type for the 'light roll bar' (it would also help if the parent block Vehicle and the sub-blocks all showed the types on their properties).

• Multiplicity of lugBoltBR in the spec figure is [6..8], it should be [6]

'The specialization on the lower right restricts the number of cylinders to between six and eight, rules out any roll bar, and limits lug bolts per wheel to between 6 and 7, by giving the end path upper and lower values.'

In block Vehicle Model 1:

• Multiplicity of rollBarBR should be [0] not [*]

• EndPathMultiplicity is applied to rollBarBR instead of lugBoltBR

• It's also not entirely clear (to me) whether the multiplicity of lugBoltBR should be [*].

The annotated attachment shows an attempt at improving it (but is not offered as a resolution figure).