第4章基于BIP的系统设计框架-4.1BIP框架介绍