Continuous Reasoning Prototype for Application Placement
SL-CR is a declarative prototype for continuous reasoning over application placement in Cloud-Edge environments. It separates a deployment into valid and invalid fragments, preserves valid assignments, and repairs only affected components through Prolog-based reasoning, reducing unnecessary recomputation and migrations after application or infrastructure changes.
Declarative and Optimization-based Edge-Cloud Service Placer
EdgeWiseCR is a data-aware framework for placing multi-service applications in Cloud-Edge environments, combining declarative reasoning and MILP optimisation to minimise operational costs and data transfers. It extends EdgeWise with continuous reasoning, reusing existing placements to reduce recomputation and service migrations while preserving placement stability under dynamic infrastructure conditions.
Edge-CLoud pYthon Platform for Simulated runtime Environments
ECLYPSE (Edge-CLoud pYthon Platform for Simulated runtime Environments) is a simulation library entirely written in Python for experimenting with deployment strategies under varying infrastructure conditions. It provides an interface to simulate deployments of service-based applications onto realistic infrastructures, both with and without an actual application implementation. It was also used in the European FREEDA project.
Declarative Guaranteed Latency Based Forwarding
The guaranteed Latency Based Forwarding (gLBF) approach features per-hop bounded delays to meet end-to-end latency requirements of data flows based on application needs. dgLBF introduces a Prolog-based specification of gLBF for path selection and delay configuration. The prototype determines paths and delays to meet latency targets, offering a concise and extensible solution.
Multi-Intent Declarative Intent-based Provisioning System
MultiDIPS is a Prolog tool that extends DIPS to model and process multiple VNF-based service provisioning intents. It enables providers to specify high-level requirements such as service type, location constraints (e.g., edge deployment), Quality of Service (latency, bandwidth), and non-functional properties like privacy or logging. MultiDIPS leverages Prolog inference to translate multiple intents into consistent provisioning specifications.
Declarative and Optimization-based Edge-Cloud Service Placer
EdgeWise shows a declarative programming approach combined with a Mixed-Integer Linear Programming (MILP) formulation to identify eligible placements that minimise operational costs and reduce the number of nodes involved, limiting data transfers. After evaluating both approaches, EdgeWise reconciles them through a hybrid methodology that leverages declarative pre-processing to accelerate the MILP solver while computing optimal solutions.
Declarative Intent-based Provisioning System
DIPS (Declarative Intent Provisioning System) is a Prolog tool that uses a declarative methodology for modelling and processing VNF-based service provisioning intents. It enables providers to specify high-level requirements such as service type, edge placement constraints, Quality of Service (latency, bandwidth), and non-functional properties like privacy or logging. DIPS leverages Prolog inference to translate intents into provisioning specifications.
Data-Aware Application Placer for Edge-Cloud Environments
DA-Placer proposes a declarative solution that accounts for both functional and non-functional aspects to determine service placements and SDN data routings that satisfy application requirements. The solution leverages a Prolog reasoner and continuous reasoning to speed up placement and routing decisions at runtime.
Conversational Interfaces for Ambient Intelligence Services
GiòSkill is a set of conversational interfaces for the Giò project's ambient-intelligence services, implemented as Alexa skills. It enables users to access information and navigation services through natural-language requests and to manage building functions, such as lighting and plant care.
Interactive Map and Indoor Navigation Service
06/2019
- 12/2025
Python
JavaScript
GiòMap is a web application with a REST API for interactive navigation within the Department of Computer Science. It models spaces and walkable paths, provides information about people and rooms, and computes indoor routes, also supporting the related conversational interfaces.
