The device service bus: a solution for embedded device integration through web services