From: A development cycle for automated self-exploration of robot behaviors
Relation name | Definition | Cardinality | Description |
---|---|---|---|
instance of (component model) | \(I_{\mathcal {C}}: \mathcal {C} \to M_{\mathcal {C}}\) | N:1 | specify the model \(x \in M_{\mathcal {C}}\) a component \(y \in \mathcal {C}\) has to comply with |
instance of (interface model) | \(I_{\mathcal {I}}: \mathcal {I} \to M_{\mathcal {I}}\) | N:1 | specify the model \(x \in M_{\mathcal {I}}\) an interface \(y \in \mathcal {I}\) has to comply with |
subclass of | \(S: M_{\mathcal {C}} \to M_{\mathcal {C}}\) | N:1 | establish a hierarchy among the component models |
(model) has interface | \(H:M_{\mathcal {C}} \to \mathcal {I}\) | 1:N | define the interfaces a component model exposes to the exterior |
(component) has interface | \(H_{\mathcal {C}}:\mathcal {C} \to \mathcal {I}\) | 1:N | define the interfaces a component exposes to the |
exterior, given the model of it as a template | |||
part of composition | \(P: \mathcal {C} \to M_{\mathcal {C}}\) | N:1 | partially define the inner composition of components of other components |
connected to | \(C_{o}: \mathcal {I} \to \mathcal {I}\) | M:N | connect components to form networks, thus refining the inner composition |
alias of | \(A: \mathcal {I} \to \mathcal {I}\) | 1:1 | link interfaces in the interior to the exterior of a component model |