An architecture for semantic service discovery and realizability in cloud computing

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.