Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Specification</strong> <strong>of</strong> <strong>an</strong> <strong>Architecture</strong> <strong>Meta</strong>-<strong>Model</strong><br />
This requirement c<strong>an</strong> be, at least partially, addressed by me<strong>an</strong>s using specifications<br />
for certain patterns <strong>of</strong> interconnection among components (architectures) that c<strong>an</strong> be<br />
used in specific contexts where a component has multiple parts (rich component properties)<br />
<strong>an</strong>d where the size <strong>of</strong> the parts (number <strong>of</strong> sub-components to be created) is<br />
specified by a template parameter. In such contexts the pattern <strong>of</strong> interconnection<br />
among the rich component inst<strong>an</strong>ces created as specified by the parts c<strong>an</strong> be specified<br />
by <strong>an</strong> elaborated interconnection, which refers to <strong>an</strong> interconnection specification<br />
that determines the imperative code that will be executed to effect the interconnection<br />
<strong>of</strong> components, <strong>an</strong>d the ports <strong>of</strong> those rich components that are to be connected (see<br />
Figure 2.26).<br />
Interconnection<br />
ElaboratedInterconnection<br />
0..1<br />
0..*<br />
ParameterSubstitution<br />
+interconnection<br />
0..*<br />
+endSubstitution 0..*<br />
+elaboratedInterconnection<br />
1<br />
+parameterSubstitution<br />
EndSubstitution<br />
+component<br />
+elaboratedIinterconnection<br />
«isOfType»<br />
Expression<br />
+actual 1<br />
+specification<br />
2.1.18.1 ElaboratedInterconnection<br />
1<br />
RichComponent<br />
+interconnection<strong>Specification</strong><br />
1<br />
+formal<br />
1<br />
EndParameter<br />
+endParameter 0..*<br />
+formal<br />
1<br />
Interconnection<strong>Specification</strong><br />
1<br />
0..1<br />
0..*<br />
Parameter<br />
+interconnection<br />
+parameter<br />
+component<br />
Figure 2.26: Elaboration <strong>of</strong> <strong>Architecture</strong>s.<br />
1<br />
«inst<strong>an</strong>ceRef»<br />
+port<br />
Port<br />
0..*<br />
+ isConjugated: Boole<strong>an</strong><br />
+body<br />
1<br />
1<br />
+port<br />
Action<strong>Specification</strong><br />
An elaborated interconnection represents the intention to interconnect certain ports in<br />
a model in a way that c<strong>an</strong>not easily be described using connectors.<br />
The precise pattern <strong>of</strong> interconnection to be employed is defined by the interconnection<br />
specification associated by the spec association. The parameter substitutions<br />
<strong>an</strong>d end substitutions serve to bind the formal parameters <strong>of</strong> the interconnection specification<br />
to actual values <strong>an</strong>d ports (via port ends) in the context <strong>of</strong> this elaborated interconnection.<br />
Elaborated interconnections are owned by a rich component for whose<br />
parts it is specifying the interconnection.<br />
46/135