Continuous Reasoning for Managing Next-Gen Distributed Applications

TL;DR

This paper introduces a declarative continuous reasoning method to efficiently manage multi-service applications across Cloud-IoT environments, especially under infrastructure variations, improving speed over traditional non-incremental reasoning.

Contribution

It presents a novel declarative approach for continuous reasoning in managing complex Cloud-IoT applications, addressing infrastructure variability issues.

Findings

Significant speed-ups over non-incremental reasoning methods.

Effective management of multi-service applications in Cloud-IoT environments.

Handling infrastructure variations to meet QoS requirements.

Abstract

Continuous reasoning has proven effective in incrementally analysing changes in application codebases within Continuous Integration/Continuous Deployment (CI/CD) software release pipelines. In this article, we present a novel declarative continuous reasoning approach to support the management of multi-service applications over the Cloud-IoT continuum, in particular when infrastructure variations impede meeting application's hardware, software, IoT or network QoS requirements. We show how such an approach brings considerable speed-ups compared to non-incremental reasoning.