• cloud
• data-aware
• fog computing
• formal logic
• iot
• placement

This thesis proposes a declarative modelling of Cloud-IoT infrastructures and multi-service applications which separately models computing and data services, and permits determining eligible service placements and data traffic routing over Cloud-IoT resources through formal logic reasoning. The proposed methodology is prototyped in Prolog and assessed via simulation over a life-like use case.