Architecture Modeling - SPES 2020

Architecture Modeling
Figure 5.8: Logical Perspective – System Level
provides control signals to the respective actuators. For a valid decomposition, all input and
output ports of the parent component (which is the BSCU here) have to be linked to their
respective ports of the internal components.
In this decomposition example, the subcomponent Command is annotated with a contract
C1.1 which is here (not in general) the same as the contract C1 of its parent component. The
proof obligation for decomposition is a virtual integration test as shown in Section 5.1.3.3 for
allocation.
Allocation To complete the modeling of one abstraction level, the components of one perspective
have to be associated with components of another perspective. This link was introduced
in Section 4.4.2 as the primitive design step named allocation. This concept is exemplified
in Figure 5.11 for the logical perspective of the System Level, where the logical component
MeterValveActuator is allocated to two components of the technical perspective namely
the computing resource MeterValveControl and the actuator MeterValveActuator.
For a valid allocate-link all ports of the source component have to be mapped to ports of
the target component. In this example, meterControl is mapped to meterValve and
meterValveStatus to valveStatus. In Figure 5.11 again contracts are annotated that
already have been introduced in preceding figures and therefore are only referenced by their
78/ 156