Tags and keywords
VolumeControland an Activity
ControlVolume, presenting a complication:
VolumeControlof this home entertainment system meets the requirement, so we won't also specify that the
volumeControl:VolumeControlpart of block
SoundSystemalso satisfies the Requirement.
We'll see later how we can then enforce a satisfaction policy rules such as:
'If a part property is typed by a block that satisfies the requirement, by default the part property also satisfies the requirement'
'If a block has a part that directly satisfies a requirement, the block also indirectly satisfies the requirement'SysML does not specify many rules for Satisfaction because: