Research Output
A Formal Technique for Composing Cloud Services
  Recent cloud search engines lack a formal method in their service composition mechanisms to automatically build composite services realizing user requirements. This paper prescribes behavior composition framework as a formal tools for the search engines. The framework automatically synthesizes a controller that delegates the service operations requested by a cloud user to the proper available cloud services whose operations satisfy the request. Since most cloud search engines support semantic and ontology to discover similar service operations, the paper extends the framework to be more adaptable with such search engines through the use of resource reasoning. Several experiments are provided to demonstrate how the extended framework outperforms the original one in terms of realizing users’ requirements.

  • Type:

    Article

  • Date:

    25 March 2020

  • Publication Status:

    Published

  • Publisher

    Kaunas University of Technology (KTU)

  • DOI:

    10.5755/j01.itc.49.1.23403

  • Cross Ref:

    10.5755/j01.itc.49.1.23403

  • ISSN:

    1392-124X

  • Funders:

    Historic Funder (pre-Worktribe)

Citation

Barati, M. (2020). A Formal Technique for Composing Cloud Services. Information Technology and Control, 49(1), 5-27. https://doi.org/10.5755/j01.itc.49.1.23403

Authors

Keywords

Behavior composition, cloud computing, resource reasoning, controller synthesis, formal method

Monthly Views:

Available Documents