Solution Characteristics Specification
The instance models that govern SWHS are presented in the Instance Model Section. The information to understand the meaning of the instance models and their derivation is also presented, so that the instance models can be verified.