Specification of an Architecture Meta-Model - SPES 2020

Aggregations
Specification of an Architecture Meta-Model
• end : FlowBinding flow [1..*] Specifies the ends of the FlowBinding.
Constraints Flow bindings are subject to the following constraints:
1. The interconnection ends owned by a flow binding must be flow ends:
context FlowBinding inv flowEnds:
self .end→forAll(oclIsKindOf(FlowBinding flow))
2. A flow binding has at least 2 ends:
context FlowBinding inv atLeastTwoEnds:
self .end→size() > 1
2.1.16.5 FlowBinding flow
FlowBinding flow is an InterconnectionEnd of a FlowBinding which references the
exact instance of a flow. Such an instance is denoted by the the service, its containing
port and the respective RichComponent or RichComponentProperty as depicted in
Figure 2.23.
RichComponentProperty +part
FlowBinding
«instanceRef»
+flow 1..*
Flow
+ direction: FlowDirection
+ kind: FlowKind
0..1
+flowBinding
1
+flow
1
«instanceRef.context»
«instanceRef.root»
Generalizations: PartReference
Aggregations
+end
1..*
«instanceRef.target»
PartReference
Flow Binding_flow
«instanceRef.context»
+port 1
Port
+ isConjugated: Boolean
Figure 2.23: FlowBinding flow.
+partIndex
0..1
+portIndex
0..1
Expression
• portIndex : Expression [0..1] In case the size of the port associated is not 1,
specifies the index in the multiple element.
38/135