Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things

With the new vision of the Internet of Things, physical world entities are integrated into virtual world things. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in previous work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for representing such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynamically possible invalid invocations provoked by changes of behaviour. Here, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations. The solution automatically generates the required elements to perform run-time validation of invocations. It may be extended to validate other issues.