Continuous Reasoning for Managing Next-Gen Distributed Applications
This addresses the challenge of meeting hardware, software, IoT, or network QoS requirements for distributed applications when infrastructure variations occur, though it appears incremental in nature.
The paper tackled the problem of managing multi-service applications over the Cloud-IoT continuum by introducing a novel declarative continuous reasoning approach, which achieved considerable speed-ups compared to non-incremental reasoning.
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.