Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors --