2020/09/22 by Stefano Forti, Antonio Brogi
Computer Science · #cs.DC #cs.SE
paper · pdf · doi:10.4204/eptcs.325.22
published as EPTCS 325, 2020, pp. 164-177 · In Proceedings ICLP 2020, arXiv:2009.09158
arxiv created 2020/09/22 · arxiv updated 2020/09/23
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.