4.4 各种形式描述技术的比较