This thesis provides formal methods for reconfigurable component connectors.