09.08.2013 Views

Architecture Modeling - SPES 2020

Architecture Modeling - SPES 2020

Architecture Modeling - SPES 2020

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!