Research Output
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.

  • Date:

    23 November 2015

  • Publication Status:

    Published

  • Publisher

    IEEE

  • DOI:

    10.1109/nof.2015.7333293

  • Cross Ref:

    10.1109/nof.2015.7333293

  • Funders:

    Historic Funder (pre-Worktribe)

Citation

Barati, M., & St-Denis, R. (2015). An architecture for semantic service discovery and realizability in cloud computing. In 2015 6th International Conference on the Network of the Future (NOF). https://doi.org/10.1109/nof.2015.7333293

Authors

Keywords

Cloud computing, service discovery, behavior composition, ontology, multi-agent systems

Monthly Views:

Available Documents