Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Architecture</strong> <strong>Modeling</strong><br />
structed for every combination of abstraction level and perspective, representing a view of the<br />
system under development.<br />
2.3.2.2 Composition<br />
The ports of HRCs used as parts in the context of another HRC are interconnected forming a<br />
composition of HRCs. In a component-based design there are two use-cases for the composition<br />
concept. A component can be decomposed(↑) into smaller subcomponents in a top-down approach.<br />
So, a large design is split into smaller components, that can be implemented or further<br />
decomposed. Following a bottom-up approach one can also specify components and integrate<br />
them in a composition to realize its specification.<br />
ComponentC<br />
delegation<br />
connector<br />
part2:ComponentB<br />
part1:ComponentA<br />
ComponentB<br />
C2<br />
C12<br />
assembly<br />
connector<br />
ComponentA<br />
C1<br />
Figure 2.10: Compositions of components<br />
To decide whether an HRC can be used in a given context and connected with other HRCs,<br />
the ports that are connected must be compatible. Compatibility of ports is discussed in Section<br />
3.3.2.2. Figure 2.10 shows the distinction between delegation connectors and assembly<br />
connectors. The former connect the outer ports of an HRC to ports of its constituting parts. So<br />
in order to connect the ports they must have the same direction. Assembly connectors link the<br />
parts of a composition to each other.<br />
Additionally with regard to the contracts a Virtual Integration Test(↑) must be carried out (cf.<br />
Section 4.2). Related to the example from Figure 2.10 it must be checked, that the contracts C1<br />
and C2 are compatible and that together with the interconnection they are a valid refinement of<br />
C12.<br />
p1<br />
p2<br />
14/ 156