6.1 行为级建模概述