Portal de Periódicos da CAPES

Declarative continuous reasoning in the cloud-IoT continuum

2021; Oxford University Press; Volume: 32; Issue: 2 Linguagem: Inglês

10.1093/logcom/exab083

1465-363X

Stefano Forti, Giuseppe Bisicchia, Antonio Brogi,

Service-Oriented Architecture and Web Services

Abstract Developing and releasing multiservice applications rely upon a pipeline of automation tools known as Continuous Integration/Continuous Deployment. Among those tools, continuous reasoning is exploited by large companies to perform incremental static analyses on their code commits as soon as they are integrated into a shared codebase. In this article, we extend continuous reasoning towards the continuous QoS- and context-aware management of multiservice applications in Cloud-IoT scenarios. We propose a novel continuous reasoning methodology that supports runtime decision on service placement by reacting both to changes in the infrastructure and in the application requirements, and capable of suggesting migrations only for services affected by such changes. The methodology is prototyped in Prolog and assessed through simulations over a realistic use case and over a lifelike motivating scenario at increasing infrastructure sizes. Experimental results show that our approach brings considerable speed-up in comparison with an exhaustive search employing non-incremental reasoning.