Towards Formal-Based Semantic Interoperability in Multi-Clouds: The FCLOUDS Framework
A Semantic Interoperability Framework for Cloud Platform as a Service