Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts