一个简易电梯系统服务于三层楼,用smv对进行该系统进行属性验证