Semantic Representation of Cloud Patterns and Services with Automated Reasoning to Support Cloud Application Portability.
Beniamino Di MartinoAntonio EspositoGiuseppina CretellaPublished in: IEEE Trans. Cloud Comput. (2017)
Keyphrases
- semantic representation
- automated reasoning
- cloud computing
- computing infrastructure
- computing environments
- service providers
- cloud services
- databases
- theorem proving
- probabilistic reasoning
- service oriented
- knowledge representation
- reasoning tasks
- knowledge based systems
- context aware
- semi automatic
- theorem prover
- conceptual graphs
- domain knowledge
- semantic representations
- web services