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

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.