Formal Models For Component Connectors by