Model-based design of multi-device interactive applications based on web services