THE last years, we have witnessed two major trends in the world of embedded devices. First, hardware is becoming smaller, cheaper, and more powerful. According to the Internet of Things vision (IoT) [1], the majority of the devices will soon have communication and computation capabilities, which they will use to connect, interact, and cooperate with their surrounding environment. Second, the software industry is moving towards service-oriented integration technologies. Especially in the business software domain, complex applications based on the composition and collaboration among diverse services have been appearing.