Interoperability is an important issue in CBD. Interoperability conflicts between components makes components cooperate and communicate with each other, which incurs additional cost to fitting the components into a system. Those costs include the cost of identifying interoperability problems, as well as fixing the problems. However, existing component specification frameworks mix control and computation in a component, which incurs additional costs. This thesis suggests a new component specification framework and its model that separates control and computation and reflects, and partitions component``s functional aspects including interface, static behavior, dynamic behavior, and interaction protocol. The main contribution is to make a component``s interoperability analysis efficient through a multi-dimensional specification partition. Additionally, the provides the efficiency of identifying interoperability problems and solving the identified problems.