ADT抽象数据类型
如何抽象，哪些看成是属性，哪些看成是方法。感觉不是很清楚，请大家帮忙给点意见哈！
比如：
一台洗衣机由一个控制器和一些传感器来控制。控制器控制着洗衣机中以下装置的动作：进水阀；按设定温度加热水温的加热元件；出水阀；对洗衣-甩干部件进行运行时锁定的电子锁；洗衣-甩干部件所使用的电动机。传感器包括：水温传感器；水量上限传感器；水量下限传感器；洗衣-甩干部件的运行定时器。这些传感器辅助着控制器来实现相应的控制。上述装置之间还存在着一些制约关系，例如：若注入的水量未超过水量下限传感器标定的水平，不能进行加热，也不能洗衣；未进行锁定就不能洗衣和甩干；等等。根据以上描述，给出相应的设计类图。类的属性和必要的操作接口的定义。类之间的关系以及重复度。
