将软件组件的接口与实现分离，主要体现了（）原则。