On the basis of D-ADL formal specification，the principles of behavior refinement are formally defined as follows , the behavior refinement of components should satisfy the relation of observation weak simulation and the behavior refinement of connectors should satisfy the relation of branching weak simulation during the process.