A design and verification framework for service composition in the cloud

Matthew L Hale, Michael T. Gamble, Rose F. Gamble

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

The service cloud model allows hosted services to be dynamically provisioned and composed as part of larger, more complex cloud applications. Compatibility of interaction and quality of service are important to provisioning similar services available in the cloud to a client request. Auditing individual services, the composition and its outcome, and the overall cloud resources, used for monetary assessment or to ensure critical operations, also provide properties for reasoning over service and composition capabilities. Security policies and potential violations pose a threat to the composition since sensitive data may be leaked if information flow control guarantees cannot be proven. Service engineering lacks design principles and an expression infrastructure for formal representation and reasoning within a service cloud model. Reasoning over service compositions requires a formal language that can express multiple service and cloud properties. In this paper, we use coordination language techniques to express services, their interaction capabilities and information sharing constraints, and the infrastructure of a service cloud model in which services can be accurately provisioned, composed and reasoned over to provide necessary guarantees. We discuss lessons learned from the process of formulating the service representation and cloud model infrastructure.

Original languageEnglish (US)
Title of host publicationProceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013
Pages317-324
Number of pages8
DOIs
StatePublished - Nov 26 2013
Event2013 IEEE 9th World Congress on Services, SERVICES 2013 - Santa Clara, CA, United States
Duration: Jun 27 2013Jul 2 2013

Publication series

NameProceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013

Conference

Conference2013 IEEE 9th World Congress on Services, SERVICES 2013
CountryUnited States
CitySanta Clara, CA
Period6/27/137/2/13

Fingerprint

Chemical analysis
Formal languages
Flow control
Quality of service

Keywords

  • coordination languages
  • service cloud
  • service composition

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Hale, M. L., Gamble, M. T., & Gamble, R. F. (2013). A design and verification framework for service composition in the cloud. In Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013 (pp. 317-324). [6655716] (Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013). https://doi.org/10.1109/SERVICES.2013.46

A design and verification framework for service composition in the cloud. / Hale, Matthew L; Gamble, Michael T.; Gamble, Rose F.

Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013. 2013. p. 317-324 6655716 (Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hale, ML, Gamble, MT & Gamble, RF 2013, A design and verification framework for service composition in the cloud. in Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013., 6655716, Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013, pp. 317-324, 2013 IEEE 9th World Congress on Services, SERVICES 2013, Santa Clara, CA, United States, 6/27/13. https://doi.org/10.1109/SERVICES.2013.46
Hale ML, Gamble MT, Gamble RF. A design and verification framework for service composition in the cloud. In Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013. 2013. p. 317-324. 6655716. (Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013). https://doi.org/10.1109/SERVICES.2013.46
Hale, Matthew L ; Gamble, Michael T. ; Gamble, Rose F. / A design and verification framework for service composition in the cloud. Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013. 2013. pp. 317-324 (Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013).
@inproceedings{c10560225de74482802d4e2d2ad97401,
title = "A design and verification framework for service composition in the cloud",
abstract = "The service cloud model allows hosted services to be dynamically provisioned and composed as part of larger, more complex cloud applications. Compatibility of interaction and quality of service are important to provisioning similar services available in the cloud to a client request. Auditing individual services, the composition and its outcome, and the overall cloud resources, used for monetary assessment or to ensure critical operations, also provide properties for reasoning over service and composition capabilities. Security policies and potential violations pose a threat to the composition since sensitive data may be leaked if information flow control guarantees cannot be proven. Service engineering lacks design principles and an expression infrastructure for formal representation and reasoning within a service cloud model. Reasoning over service compositions requires a formal language that can express multiple service and cloud properties. In this paper, we use coordination language techniques to express services, their interaction capabilities and information sharing constraints, and the infrastructure of a service cloud model in which services can be accurately provisioned, composed and reasoned over to provide necessary guarantees. We discuss lessons learned from the process of formulating the service representation and cloud model infrastructure.",
keywords = "coordination languages, service cloud, service composition",
author = "Hale, {Matthew L} and Gamble, {Michael T.} and Gamble, {Rose F.}",
year = "2013",
month = "11",
day = "26",
doi = "10.1109/SERVICES.2013.46",
language = "English (US)",
isbn = "9780768550244",
series = "Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013",
pages = "317--324",
booktitle = "Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013",

}

TY - GEN

T1 - A design and verification framework for service composition in the cloud

AU - Hale, Matthew L

AU - Gamble, Michael T.

AU - Gamble, Rose F.

PY - 2013/11/26

Y1 - 2013/11/26

N2 - The service cloud model allows hosted services to be dynamically provisioned and composed as part of larger, more complex cloud applications. Compatibility of interaction and quality of service are important to provisioning similar services available in the cloud to a client request. Auditing individual services, the composition and its outcome, and the overall cloud resources, used for monetary assessment or to ensure critical operations, also provide properties for reasoning over service and composition capabilities. Security policies and potential violations pose a threat to the composition since sensitive data may be leaked if information flow control guarantees cannot be proven. Service engineering lacks design principles and an expression infrastructure for formal representation and reasoning within a service cloud model. Reasoning over service compositions requires a formal language that can express multiple service and cloud properties. In this paper, we use coordination language techniques to express services, their interaction capabilities and information sharing constraints, and the infrastructure of a service cloud model in which services can be accurately provisioned, composed and reasoned over to provide necessary guarantees. We discuss lessons learned from the process of formulating the service representation and cloud model infrastructure.

AB - The service cloud model allows hosted services to be dynamically provisioned and composed as part of larger, more complex cloud applications. Compatibility of interaction and quality of service are important to provisioning similar services available in the cloud to a client request. Auditing individual services, the composition and its outcome, and the overall cloud resources, used for monetary assessment or to ensure critical operations, also provide properties for reasoning over service and composition capabilities. Security policies and potential violations pose a threat to the composition since sensitive data may be leaked if information flow control guarantees cannot be proven. Service engineering lacks design principles and an expression infrastructure for formal representation and reasoning within a service cloud model. Reasoning over service compositions requires a formal language that can express multiple service and cloud properties. In this paper, we use coordination language techniques to express services, their interaction capabilities and information sharing constraints, and the infrastructure of a service cloud model in which services can be accurately provisioned, composed and reasoned over to provide necessary guarantees. We discuss lessons learned from the process of formulating the service representation and cloud model infrastructure.

KW - coordination languages

KW - service cloud

KW - service composition

UR - http://www.scopus.com/inward/record.url?scp=84888018866&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84888018866&partnerID=8YFLogxK

U2 - 10.1109/SERVICES.2013.46

DO - 10.1109/SERVICES.2013.46

M3 - Conference contribution

SN - 9780768550244

T3 - Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013

SP - 317

EP - 324

BT - Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013

ER -