Το αντικείμενο της παρούσας Διπλωματικής Εργασίας είναι η ανάπτυξη και υλοποίηση μιας εφαρμογής cloud για διαδικτυακές υπηρεσίες. Συγκεκριμένα, η εφαρμογή ονομάζεται My Calendar και αφορά ένα προσωπικό ημερολόγιο. Η εφαρμογή βρίσκεται στην υποδομή «νέφους» της Google και οι τελικοί χρήστες μπορούν να έχουν πρόσβαση στην υπηρεσία μέσω ενός web browser. Αρχικά, γίνεται η εισαγωγή στις έννοιες του cloud computing καθώς και σε αυτές της πλατφόρμας της Google. Στη συνέχεια παρουσιάζεται ο τρόπος υλοποίησης της εφαρμογής και αναλύονται οι λειτουργίες της. Ο εκάστοτε χρήστης, αφού πρώτα δημιουργήσει τον προσωπικό του λογαριασμό, μπορεί να έχει πρόσβαση στην παρεχόμενη υπηρεσία. Η προσπάθεια επικεντρώθηκε κυρίως στην παρουσίαση μιας απλής και εύχρηστης εφαρμογής και δόθηκε ιδιαίτερη έμφαση στο λειτουργικό κομμάτι, ώστε και ο πλέον άπειρος χρήστης να κατανοεί τη διαδικασία και να μπορεί να χρησιμοποιεί την εφαρμογή εύκολα και γρήγορα για τις καθημερινές του εργασίες οργανώνοντας το πρόγραμμά του. / This diploma thesis deals with the development of a cloud application for web services. The application is called “My Calendar” and it is hosted on Google’s infrastructure. Everyone can access it from a simple web browser. First of all, we make an introduction in order to understand the meaning of cloud computing and be able to handle with the Google Cloud Platform. We describe the deployment of the application and we present its operations. Users must register in order to login and, after that, they could enter the interface which enables them to organize their schedule. We tried to focus on creating a user-friendly application and we emphasized on the functionality, so even the most inexperienced user could easily cope with it. As a result, we developed “My Calendar” with a view to everyone who wants to manage his/her scheduled tasks.

Οι εφαρμογές παγκόσμιου ιστού προσφέρουν ολοένα και περισσότερες, με υψηλό βαθμό πολυπλοκότητας υπηρεσίες, σε σχέση με τους πρώτους ιστότοπους που χρησιμοποιούνταν απλά και μόνο για την προβολή πληροφοριών. Όμως, η πολυπλοκότητα αυτή καθιστά τις εφαρμογές δύσχρηστες καθώς είναι πολύ δύσκολο να συντηρηθούν και να επεκταθούν. Η ερευνητική κοινότητα προκειμένου να αντιμετωπίσει την αυξανόμενη πολυπλοκότητα του σχεδιασμού εφαρμογών παγκόσμιου ιστού έχει προτείνει ένα πλήθος προσεγγίσεων και μεθόδων βασισμένων σε μοντέλα. Η δουλειά του σχεδιαστή εφαρμογών παγκόσμιου ιστού μπορεί να απλοποιηθεί ακόμα περισσότερο με την επαναχρησιμοποίηση της εμπειρίας άλλων σχεδιαστών εφαρμογών παγκόσμιου ιστού. Η επαναχρησιμοποίηση της εμπειρίας αυτής γίνεται με χρήση σχεδιαστικών προτύπων που ορίζονται από πεπειραμένους σχεδιαστές. Αν κατά το σχεδιασμό μιας εφαρμογής χρησιμοποιηθεί κάποια μέθοδος μοντελοποίησης σε συνδυασμό με ένα σύνολο σχεδιαστικών προτύπων, η τελική εφαρμογή θα είναι πιο αποδοτική και ποιοτική. Πολλές φορές όμως, κατά το σχεδιασμό και την ανάπτυξη μιας εφαρμογής παγκόσμιου ιστού δε λαμβάνεται υπόψη κάποια συγκεκριμένη μεθοδολογία μοντελοποίησης και ανάπτυξης. Ένα πλήθος μεθόδων αντίστροφης μηχανίκευσης έχει αναπτυχθεί για την ανάλυση, κατανόηση και μοντελοποίηση των αρχιτεκτονικών τέτοιου είδους εφαρμογών. Στα πλαίσια της συγκεκριμένης διπλωματικής εργασίας μελετώνται οι μέθοδοι μοντελοποίησης που έχουν προταθεί από την ερευνητική κοινότητα, τα σχεδιαστικά πρότυπα που έχουν οριστεί καθώς και οι μέθοδοι και οι διαδικασίες αντίστροφης μηχανίκευσης που έχουν αναπτυχθεί. Επιπλέον προτείνεται μία μέθοδος που ανιχνεύει και αξιολογεί την ύπαρξη πιθανών κλώνων μοντέλων. / Web Applications provide many services and they are not used just to display content, as it was the case for the first web sites. Due to the growing complexity, the design, development and maintenance of these aplications has become one of the major challenges that the developer has to face. In an attempt to face this growing complexity, the research community has proposed a number of model based approaches and methods. The task of the hypertext architect may be further facilitated by reusing the experience of other hypertext architects. This reuse is achieved by means of design patterns that have been defined by experts. If, we make use of a modelling method in combination with design patterns when designing a web application, the final result will be more efficient and qualitative. Usually, due to the pressing market demands, the modeling methods or techniques are not applied during the design and development of the web applications. A number of reverse engineering methods and tools have been proposed in order to analyse, comprehend and model the architectures of such applications. In this thesis, we study the various modelling methods that have been proposed, as well as the design patterns that have been defined and the reverse engineering methods that have been developed. Furthermore, we propose a method to detect and evaluate the existence of possible model clones.

Οι τεχνολογίες των υπηρεσιών ιστού οδήγησαν στην εξέλιξη των ασύρματων δικτύων, με αποτέλεσμα να αναπτύσσονται ιδιαίτερα οι εφαρμογές του Mobile Web. Οι χρήστες του Mobile Web έχουν τη δυνατότητα να απολαμβάνουν τις υπηρεσίες του διαδικτύου χωρίς να απαιτείται κάποιος υπολογιστής γραφείου ή καλώδια, μόνον με τη χρήση μικρών φορητών συσκευών όπως τα κινητά τηλέφωνα. Είναι επιθυμητό όμως οι ιστοσελίδες που εμφανίζονται στην οθόνη του κινητού να έχουν την ίδια παρουσίαση με αυτές που εμφανίζονται στην οθόνη ενός υπολογιστή γραφείου ώστε να αυξάνεται η “εμπειρία” του χρήστη. Για να πραγματοποιηθεί αυτό διάφορες επιστημονικές ομάδες ασχολούνται με μεθόδους βελτιστοποίησης και προσαρμοστικότητας εφαρμογών για το Mobile Web. Έχουν καθοριστεί επιπλέον κάποια πρότυπα χαρακτηριστικά τα οποία οφείλουν να ακολουθούν οι σχεδιαστές και χρησιμοποιούνται συγκεκριμένες γλώσσες σήμανσης περιεχομένου όπως η WML (Wireless Markup Language), XHTML (Extensible Hypertext Markup Language), XHTML MP (Extensible Hypertext Markup Language Mobile Web). / The technologies of web services have led to the evolution of wireless networks and that results in the development of the applications of Mobile Web. The users of the Mobile Web have the opportunity to enjoy internet services without the need of a desktop computer or cables, just only with the use of mobile devices such as mobile phones. It is desirable, the web pages that come up in the screen of a mobile phone to have the same or almost the same representation with that of a desktop computer in order to increase the user experience. To make this a reality certain scientific groups try to ameliorate the applications of the Mobile Web. The designers use specific standards and also certain markup languages such as WML (Wireless Markup Language), XHTML (Extensible Hypertext Markup Language) and XHTML MP (Extensible Hypertext Markup Language Mobile Web).

Η παρούσα διπλωματική εργασία ασχολείται με την ανάλυση του παγκόσμιου ιστού και της διερεύνησης του ως γράφου. Το 1ο κεφάλαιο αποτελεί μια εισαγωγή στην έννοια του παγκόσμιου ιστού. Παρατίθενται ιστορικά στοιχεία όσον αφορά την δημιουργία του ίντερνετ καθώς και την εξέλιξή του και τα στάδια αυτής. Στο 2ο κεφάλαιο δίδεται στον αναγνώστη το απαραίτητο μαθηματικό υπόβαθρο που θα χρησιμοποιηθεί στην συνέχεια και θα τον βοηθήσει στην ομαλή κατανόηση των επόμενων κεφαλαίων. Στο 3ο κεφάλαιο έχουμε την αναπαράσταση του ίντερνετ ως γράφου. Γίνεται ανάλυση όλων των ποιοτικών χαρακτηριστικών ενός τέοιου γράφου και πως αυτά συνεισφέρουν στην δομή του. Στο 4ο κεφάλαιο, έχουμε παράθεση κάποιων παραγωγικών μοντέλων δημιουργίας γράφων που είναι ικανοί να αναπαραστήσουν το ίντερνετ και πως αυτά εξελίσσονται και διαμορφώνονται μέχρι την οριστικοποίησή τους. Τέλος, στο 5ο κεφάλαιο εισάγουμε την έννοια της εντροπίας πάνω σε ποιοτικά χαρακτηριστικά τέτοιων γράφων, και γίνεται σύνδεση με την παράμετρο της σταθερότητας γράφων. Επιπροσθέτως, αναπτύσσεται ένα παραγωγικό μοντέλο που λαμβάνει υπόψην την εντροπία και την σταθερότητα ως πρωτεύοντα δομικά χαρακτηριστικά. / This thesis deals with the analysis of web and investigation as a graph. The first chapter is an introduction to the concept of world wide web. Here there are historical data for the creation of the Internet and its evolution and stages thereof. In the second chapter the reader is given the necessary mathematical background that will be used. In the third chapter we have a representation of the Internet as a graph. Analyzing all the qualities of such a graph and how they contribute to the structure. In the fourth chapter, we quote some production models to create graphics that are able to represent the Internet and how they evolve and are shaped. Finally, in the fifth chapter we introduce the concept of entropy on qualities of such graphs, and how entropy is connected to the stability of a graph. In addition, we develop a production model that takes into consideration the entropy and stability as its primary structural features.

Η παρούσα διπλωματική έχει σαν σκοπό τη διερεύνηση της τεχνολογίας του Cloud Computing και της τεχνολογίας της Virtualization που την στηρίζει. Παρουσίαση της ιστορίας και μια τεχνική παρουσίαση των δυνατοτήτων και των καταβολών των τεχνολογιών. Αναφέρονται πρακτικές εφαρμογές που μπορούν οι συγκεκριμένες τεχνολογίες να εφαρμοστούν και τους σκοπούς που θα εξυπηρετήσουν. Επίσης γίνεται μια πιο αναλυτική παρουσίαση δυο προγραμμάτων (Xen Hypervisor – για το επίπεδο της Virtualization, Eucalyptus – σαν πλατφόρμα για τη δημιουργία IaaS Clouds). Παρουσιάζονται επίσης σύντομοι οδηγοί για την εγκατάσταση ενός Cloud, καθώς και το configuration μαζί με τους λόγους που χρησιμοποιήθηκε. / The scope of this thesis is to study the technology of Cloud Computing and the Virtualization technology that is supporting it. A presentation of the history, a technical overview and the origins of these technologies. There are mentioned some fields that the specified technologies could apply and the purposes that they would serve. On the third chapter, a more detailed presentation of two pieces of software is given (Xen Hypervisor – for the Virtualization Layer, Eucalyptus – as the platform to create IaaS Clouds). In the end quick how-to guides are described on the procedure to install a Cloud, the configuration and the reasons of the specific set up as well.

Le classement des objets est une des questions importantes et typiques dans notre vie quotidienne. De nombreuses applications ont besoin de classifier des objets en fonction de certains critères, parfois simple comme de classifier les étudiants dans une classe en fonction de relevé de notes ou plus compliqué comme le classement des universités. Classifier des objets consiste à les ordonner selon certains critères exigés par une application spécifique.Avec la popularisation de l’Internet, un problème typique qui a émergé des deux dernières décennies est le classement des résultats renvoyés par les moteurs de recherche. Dans les moteurs de recherche classiques (comme Google, Yahoo ou Bing ),l’importance d’une page web est la base pour le classement. Cette valeur est calculée sur la base de l’analyse des hyper-liens entre les pages Web. Avec un ensemble de documents V={v1, ..., vn}, quand il y a une requête q d’un utilisateur arrivant, le moteur de recherche cherche des documents dans V correspondant à la requête q, puis trie les documents dans l’ordre décroissant de leur pertinence pour la requête. Ce processus peut être réalisé grâce à une fonction de classement qui permet de cal culer la similarité sim(q, vi) entre la requête q et un document vi ∈ V. La fonction de classement peut être considérée comme le noyau qui détermine essentiellement la qualité du moteur de recherche. / Ranking objects is one of the important and typical issues in our daily life. Many applications need to rank objects according to certain criteria, as simple as ranking students in a class according to average grades, or more complicated as ranking universities. Ranking objects means to arrange them in accordance with some criteria depending on the specific application.In the era of the Internet, a typical problem emerging in the last decades is the ranking of results returned by search engines. In conventional search engines (like Google, Yahoo or Bing ), the importance of a web page is the basis for ranking. This value is determined based on the analysis of graph links between web pages. With a set of documents V={v1, ..., vn}, when there is a user’s query q arriving, the search engine looks for documents in V matching the query q, then sorts the documents according to their relevance to the query in descending order. This process can be done thanks to a ranking function which allows us to compute the similarity s(q,vi) between the query q and a document vi ∈ V . Obviously, the ranking function can be seen as the core and significantly determines the quality of the search engine.

The rapid development of Internet technologies has resulted in a sharp increase in the number of Internet users who create content online. User-generated content often represents people's opinions, thoughts, speculations and sentiments and is a valuable source of information for companies, organisations and individual users. This has led to the emergence of the field of sentiment analysis, which deals with the automatic extraction and classification of sentiments expressed in texts. Sentiment analysis has been intensively researched over the last ten years, but there are still many issues to be addressed. One of the main problems is the lack of labelled data necessary to carry out precise supervised sentiment classification. In response, research has moved towards developing semi-supervised and cross-domain techniques. Semi-supervised approaches still need some labelled data and their effectiveness is largely determined by the amount of these data, whereas cross-domain approaches usually perform poorly if training data are very different from test data. The majority of research on sentiment classification deals with the binary classification problem, although for many practical applications this rather coarse sentiment scale is not sufficient. Therefore, it is crucial to design methods which are able to perform accurate multiclass sentiment classification. The aims of this thesis are to address the problem of limited availability of data in sentiment analysis and to advance research in semi-supervised and cross-domain approaches for sentiment classification, considering both binary and multiclass sentiment scales. We adopt graph-based learning as our main method and explore the most popular and widely used graph-based algorithm, label propagation. We investigate various ways of designing sentiment graphs and propose a new similarity measure which is unsupervised, easy to compute, does not require deep linguistic analysis and, most importantly, provides a good estimate for sentiment similarity as proved by intrinsic and extrinsic evaluations. The main contribution of this thesis is the development and evaluation of a graph-based sentiment analysis system that a) can cope with the challenges of limited data availability by using semi-supervised and cross-domain approaches b) is able to perform multiclass classification and c) achieves highly accurate results which are superior to those of most state-of-the-art semi-supervised and cross-domain systems. We systematically analyse and compare semi-supervised and cross-domain approaches in the graph-based framework and propose recommendations for selecting the most pertinent learning approach given the data available. Our recommendations are based on two domain characteristics, domain similarity and domain complexity, which were shown to have a significant impact on semi-supervised and cross-domain performance.

Les systèmes de recommandation se sont imposés comme étant des outils indispensables face à une quantité de données qui ne cesse chaque jour de croître depuis l'avènement d'Internet. Leur objectif est de proposer aux utilisateurs des items susceptibles de les intéresser sans que ces derniers n'aient besoin d'agir pour les obtenir. Après s'être majoritairement focalisés sur la précision de la prédiction d'intérêt, ces systèmes ont évolué pour prendre en compte d'autres critères dans leur processus de recommandation, tels que les facteurs humains inhérents à la prise de décision, afin d'améliorer la qualité et l'utilité des recommandations. Cependant, la prise en compte de certains facteurs humains tels que la diversité et le contexte demeure critiquable. Alors que le contexte des utilisateurs est inféré sur la base d'informations collectées à l'insu de leur vie privée, la prise en compte de la diversité est quant à elle réduite à une dimension qu'un système se doit de maximiser. Or, certains travaux récents démontrent que la diversité correspond à un besoin évoluant dynamiquement au cours du temps, et dont la proportion à insuffler dans les recommandations est dépendante de la tâche effectuée (i.e du contexte). Partant du postulat inverse selon lequel l'analyse de l'évolution de la diversité au cours du temps permet de définir le contexte de l'utilisateur, nous proposons dans ce manuscrit une nouvelle approche de modélisation contextuelle basée sur la diversité. En effet, nous soutenons qu'une variation de diversité remarquable peut être la conséquence d'un changement de contexte et qu'il faut alors adapter la stratégie de recommandation en conséquence. Nous présentons la première approche de la littérature permettant de modéliser en temps réel l'évolution de la diversité, ainsi qu'une nouvelle famille de contextes dits implicites n'exploitant aucune donnée sensible. La possibilité de remplacer les contextes traditionnels (explicites) par les contextes implicites est confirmée de plusieurs manières. Premièrement, nous démontrons sur deux corpus issus d'applications réelles qu'il existe un fort recouvrement entre les changements de contextes explicites et les changements de contextes implicites. Deuxièmement, une étude utilisateur impliquant de nombreux participants nous permet de démontrer l'existence de liens entre les contextes explicites et les caractéristiques des items consultés dans ces derniers. Fort de ces constats et du potentiel offert par nos modèles, nous présentons également plusieurs approches de recommandation et de prise en compte des besoins des utilisateurs / Recommender Systems (RS) have become essential tools to deal with an endless increasing amount of data available on the Internet. Their goal is to provide items that may interest users before they have to find them by themselves. After being exclusively focused on the precision of users' interests prediction task, RS had to evolve by taking into account other criteria like human factors involved in the decision-making process while computing recommendations, so as to improve their quality and usefulness of recommendations. Nevertheless, the way some human factors, such as context and diversity needs, are managed remains open to criticism. While context-aware recommendations relies on exploiting data that are collected without any consideration for users' privacy, diversity has been coming down to a dimension which has to be maximized. However recent studies demonstrate that diversity corresponds to a need which evolves dynamically over time. In addition, the optimal amount of diversity to provide in the recommendations depends on the on-going task of users (i.e their contexts). Thereby, we argue that analyzing the evolution of diversity over time would be a promising way to define a user's context, under the condition that context is now defined by item attributes. Indeed, we support the idea that a sudden variation of diversity can reflect a change of user's context which requires to adapt the recommendation strategy. We present in this manuscript the first approach to model the evolution of diversity over time and a new kind of context, called ``implicit contexts'', that are respectful of privacy (in opposition to explicit contexts). We confirm the benefits of implicit contexts compared to explicit contexts from several points of view. As a first step, using two large music streaming datasets we demonstrate that explicit and implicit context changes are highly correlated. As a second step, a user study involving many participants allowed us to demonstrate the links between the explicit contexts and the characteristics of the items consulted in the meantime. Based on these observations and the advantages offered by our models, we also present several approaches to provide privacy-preserving context-aware recommendations and to take into account user's needs

La disponibilité de plateformes middleware dans le cloud, avec un passage à l'échelle transparent est un vrai progrès pour les développeurs et les intégrateurs logiciels. Ils peuvent développer et déployer leurs applications sans s'inquiéter des détails opérationnels. Cependant, le coût d'exploitation d'une infrastructure dans le cloud peut devenir rapidement important. Les fournisseurs doivent disposer de méthodes pour le réduire en adaptant la taille des ressources aux besoins des clients. Dans cette thèse, nous nous focalisons sur les applications Web multi-tenant transactionnelles, plus particulièrement les moteurs d'exécution de processus métiers. Nous proposons des méthodes permettant d'optimiser les coûts opérationnels d'un fournisseur d'exécution de processus "en tant que service" (BPMaaS) tout en assurant un niveau suffisant de qualité de service. Ce type d'applications ne passe pas facilement à l'échelle à cause de sa couche persistance et de la nature transactionnelle des opérations. Il faut distribuer les installations des clients de manière à optimiser les coûts et éventuellement les déplacer en fonction de l'évolution de la charge. Ces déplacements (ou migrations) ont un impact sur la qualité de service et il faut les limiter. Dans un premier temps, nous proposons une méthode de mesure de la capacité des ressources du cloud en termes de débit d'exécution de tâches BPM, puis nous proposons une méthode de mesure de l'impact des migrations que nous avons évalué, ceci confirmant nos hypothèses. Ensuite, nous proposons plusieurs modèles d'optimisation linéaire, ainsi que des heuristiques d'allocation de ressources et de distribution des clients prenant en compte le coût de l'infrastructure, la capacité des ressources et les besoins des clients, tout en limitant les nombres de migrations. Ces modèles sont fondés sur la connaissance de l'évolution de la charge des clients par unité de temps. Nous avons expérimenté les trois méthodes que nous avons proposées sur la solution BPM Bonita, et montré qu'elles permettent des gains substantiels sur l'exploitation de l'infrastructure par rapport à une méthode basique / The availability of middleware platforms in the cloud, with "transparent" scalability, is a progress for software developers and integrators. They can develop and deploy their applications without worrying about technical details. However, the exploitation cost of a cloud infrastructure can quickly become important. Providers requires methods to reduce this cost by adapting the size of ressources to the needs of the customers. In this thesis, we focus on multi-tenant transactional web applications, more precisely on business processes execution engines. We propose methods allowing to optimize the operational costs of providers of business process execution "as a Service" (BPMaaS) while ensuring a sufficient level of quality of service. This type of application do not scale well because of its persistence tier and of the transactional nature of operations. One must distribute the customers installations in order to optimize the cost, and sometimes move them depending of the needs of the customers. These moves (or migrations) have an impact on the quality of service and they must be limited. First, we propose a method for measuring the size of resources in terms of BPM tasks throughput, and then a method for measuring the impact of migrations we evaluate, thus confirming our hypothesis. We also propose several linear optimization models and heuristics targeting resouce allocation and distribution of customers, while limiting the number of migrations. These models are based on the knowledge of the needs of customers per time slot. We have experimented our three methods on the BPM solution Bonita, and demonstrated that they provide substantial savings on the infrastructure exploitation compared to a basic method

Avec l’avènement de l’informatique en nuage, différents fournisseurs offrant des services en nuage et des interfaces de programmation d’applications (APIs) hétérogènes sont apparus. Cette hétérogénéité complique la mise en œuvre d’un système de multi-nuages interopérable. Parmi les solutions pour l’interopérabilité de multi-nuages, l’Ingénierie Dirigée par les Modèles (IDM) s’est révélée avantageuse. Cependant, la plupart des solutions IDM existantes pour l’informatique en nuage ne sont pas représentatives des APIs et manquent de formalisation. Pour remédier à ces limitations, je présente dans cette thèse une approche basée sur le standard Open Cloud Computing Interface (OCCI), les approches IDM et les méthodes formelles. Je fournis deux contributions qui sont mises en œuvre dans le contexte du projet OCCIware. Premièrement, je propose une approche basée sur la rétro-ingénierie pour extraire des connaissances des documentations textuelles ambiguës des APIs de nuages et améliorer leur représentation à l’aide des techniques IDM. Cette approche est appliquée à Google Cloud Platform (GCP), où je propose GCP Model, une spécification précise et basée sur les modèles, automatiquement déduite de la documentation textuelle de GCP. Deuxièmement, je propose le cadre fclouds pour assurer une interopérabilité sémantique entre plusieurs nuages, i.e., pour identifier les concepts communs entre les APIs et raisonner dessus. Le langage fclouds est une formalisation des concepts et de la sémantique opérationnelle d’OCCI en employant le langage de spécification formel Alloy. Pour démontrer l’efficacité du langage fclouds, je spécifie formellement treize APIs et en vérifie les propriétés. / With the advent of cloud computing, different cloud providers with heterogeneous cloud services and Application Programming Interfaces (APIs) have emerged. This heterogeneity complicates the implementation of an interoperable multi-cloud system. Among the multi-cloud interoperability solutions, Model-Driven Engineering (MDE) has proven to be quite advantageous and is the mostly adopted methodology to rise in abstraction and mask the heterogeneity of the cloud. However, most of the existing MDE solutions for the cloud are not representative of the cloud APIs and lack of formalization. To address these shortcomings, I present in this thesis an approach based on Open Cloud Computing Interface (OCCI) standard, MDE, and formal methods. I provide two major contributions implemented in the context of the OCCIware project. First, I propose an approach based on reverse-engineering to extract knowledge from the ambiguous textual documentation of cloud APIs and to enhance its representation using MDE techniques. This approach is applied to Google Cloud Platform (GCP), where I provide GCP Model, a precise model-driven specification for GCP that is automatically inferred from GCP textual documentation. Second, I propose the fclouds framework to achieve semantic interoperability in multi-clouds, i.e., to identify the common concepts between cloud APIs and to reason over them. The fclouds language is a formalization of OCCI concepts and operational semantics in Alloy formal specification language. To demonstrate the effectiveness of the fclouds language, I formally specify thirteen case studies and verify their properties.