Formal Models For Component Connectors door