Title :
A Design and Verification Framework for Service Composition in the Cloud
Author :
Hale, Matthew L. ; Gamble, Michael T. ; Gamble, Rose F.
Author_Institution :
Tandy Sch. of Comput. Sci., Univ. of Tulsa, Tulsa, OK, USA
fDate :
June 28 2013-July 3 2013
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 :
cloud computing; formal languages; formal verification; inference mechanisms; quality of service; security of data; cloud applications; cloud model infrastructure; cloud resources; coordination language techniques; expression infrastructure; formal language; formal representation; hosted services; information flow control guarantees; information sharing constraints; interaction capabilities; monetary assessment; quality of service; reasoning; security policies; service cloud model; service composition; service engineering; service representation; verification framework; Access control; Aerospace electronics; Context; Travel services; Weather forecasting; coordination languages; service cloud; service composition;
Conference_Titel :
Services (SERVICES), 2013 IEEE Ninth World Congress on
Conference_Location :
Santa Clara, CA
Print_ISBN :
978-0-7695-5024-4
DOI :
10.1109/SERVICES.2013.46