Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

An architecture for semantic service discovery and realizability in cloud computing

Barati, Masoud and St-Denis, Richard 2015. An architecture for semantic service discovery and realizability in cloud computing. Presented at: 6th International Conference on the Network of the Future (NOF), Montreal, QC, Canada, 30 Sept-2 Oct 2015. 2015 6th International Conference on the Network of the Future (NOF). IEEE, p. 1. 10.1109/NOF.2015.7333293

Full text not available from this repository.

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.

Item Type: Conference or Workshop Item (Paper)
Date Type: Published Online
Status: Published
Schools: Computer Science & Informatics
Publisher: IEEE
ISBN: 9781467383868
Last Modified: 15 Jan 2019 10:30
URI: http://orca.cf.ac.uk/id/eprint/117279

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item