A component can be decomposed into a group of components. A grouping of components is called a system.
Component instances in the composition are connected by binding their ports. Only ports with an equal interface definition and opposite direction can be bound together.
A binding statement takes the form of
component1_instance_name.port <=> component2_instance_name.port
Only ports with an equal interface definition and opposite direction can be bound together.
Here a component is decomposed into two other components C1 and C2.
in void event();
provides I1 i1;
requires I1 i1;
c1.i1 <=> c2.i1;
Decomposing a component
If you have questions that weren’t answered by this Guide,
let our support team help you out.