---

11.12 Well-formedness – System

In a system, the component’s ports and all sub component’s ports must be bound correctly.

Bindings in which ‘’wildcards” are involved will be described at the end of this section.

• port not bound
• port not bound – of instance
• port is bound more than once
• Cannot bind port to port
• Cannot bind two wildcards
• instance in in a cyclic binding
• Cannot bind wildcard to requires port
• System composition is recursive
• Cannot bind external port to non-external port