continuous reasoning for managing next-gen distributed applications

Five Questions to Start With

1. What is FogBrain?

FogBrain is the core of a declarative continuous reasoning engine that makes informed management decisions for next-gen multiservice applications over Cloud-IoT infrastructures (e.g. Fog computing, Osmotic computing).

2. What is Declarative Programming?

Declarative Programming is a non-imperative style of programming in which programs describe their desired results without explicitly listing commands or steps that must be performed.

3. How does FogBrain exploit Declarative Programming?

FogBrain is written in Prolog, a declarative logic programming language. Prolog programs consist of logical statements, and they execute by searching for proofs of (new) statements. Being declarative, FogBrain is only 125 single lines of code.

4. What is Continuous Reasoning?

Continuous reasoning is the application of automated formal reasoning to solve real large-scale problems continuously and incrementally, only focussing on "what has changed last" and supporting the CI/CD software release pipeline.

5. How does FogBrain exploit Continuous Reasoning?

FogBrain extends the concept of continuous reasoning to support the management of multiservice applications, by reducing the size of the considered management problem instance only to application services in need for attention.

© 2020 Service-Oriented Cloud & Fog Computing Research Group, Department of Computer Science, University of Pisa, Italy