Behaviour-Aware Compositions of Things

The new Internet has led the evolution of the Ubiquitous Web to integrate physical world entities into virtual world things. Thus, Internet is evolving into the vision of the Internet of Things where everyday life things are identifiable, readable, recognizable, addressable, and controllable via the Internet. As mass market penetration of networked embedded devices seems to become a reality, it is necessary to develop platforms considering this kind of devices and their interactions. Future Internet has emerged as a new initiative to pave a novel and dynamic global network infrastructure that handles the changing global needs of business and society. The Internet of Things could benefit from the Web Service architecture like today´s Web does. Then, Future service-oriented Internet things will offer their functionality via service-enabled interfaces. DPWS is a new emergent OASIS standard based on Web Service architectures to support interoperability among heterogeneous things. But there is still a need to represent explicitly the behaviour of things to develop applications in a more rigorous way. We propose to extend DPWS to specify the behaviour of things. We also propose verification techniques to check if a composition of things fulfills or violates the behaviour of those things.