Linguistic Abstractions for Interoperability of IoT Platforms