An architecture for semantic service discovery and realizability in cloud computing

Barati, Masoud; St-Denis, Richard

Abstract

One of the open issues in cloud computing is service discovery. Another issue, which has received less attention by practitioners in the cloud computing industry, is service composition based on formal methods, particularly those based on automata and formal languages. In recent years, semantic techniques and cloud ontology have been used to improve the process of finding similar services in the cloud environment. Cloudle, which is the most recent agent-based and semantic-supported search engine in cloud systems, exploits such techniques. Though many models and architectures have been proposed to develop Cloudle, none of them used formal methods for composing services. In this paper, behavior composition, as a formal approach and a sound and complete controller synthesis technique, is adapted to provide a formal approach for resource matching and service composition.

• Presentation Conference Type: Conference Paper (Published)
• Conference Name: 2015 6th International Conference on the Network of the Future (NOF)
• Start Date: Sep 30, 2015
• End Date: Oct 2, 2015
• Online Publication Date: Nov 23, 2015
• Publication Date: 2015
• Deposit Date: May 4, 2021
• Publisher: Institute of Electrical and Electronics Engineers
• Book Title: 2015 6th International Conference on the Network of the Future (NOF)
• DOI: https://doi.org/10.1109/nof.2015.7333293
• Keywords: Cloud computing, service discovery, behavior composition, ontology, multi-agent systems
• Public URL: http://researchrepository.napier.ac.uk/Output/2767194