Configuring Cloud-Service Interfaces Using Flow Inheritance
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, ‘Configuring Cloud-Service Interfaces Using Flow Inheritance’, paper presented at iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud, Reykjavic, Iceland, 1- 4 June, 2016. Technologies for composition of loosely...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Authors: | , , |
Other Authors: | , , |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/2299/18676 |
id |
ftunivhertford:oai:uhra.herts.ac.uk:2299/18676 |
---|---|
record_format |
openpolar |
spelling |
ftunivhertford:oai:uhra.herts.ac.uk:2299/18676 2023-05-15T16:50:43+02:00 Configuring Cloud-Service Interfaces Using Flow Inheritance Zaichenkov, Pavel Tveretina, Olga Shafarenko, Alex School of Computer Science Centre for Computer Science and Informatics Research Biocomputation Research Group 2016-06-01 http://hdl.handle.net/2299/18676 eng eng Zaichenkov , P , Tveretina , O & Shafarenko , A 2016 , ' Configuring Cloud-Service Interfaces Using Flow Inheritance ' , Paper presented at iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud , Iceland , 4/06/16 . https://doi.org/10.4204/EPTCS.228.4 conference PURE: 10479282 PURE UUID: c8633109-25b5-4f3e-b721-2ede99fcf0ca Scopus: 85018891331 http://hdl.handle.net/2299/18676 2016 ftunivhertford 2023-02-10T00:03:28Z Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, ‘Configuring Cloud-Service Interfaces Using Flow Inheritance’, paper presented at iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud, Reykjavic, Iceland, 1- 4 June, 2016. Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reused in a variety of contexts. On the other hand, they must be specific enough so that their composition may be provably consistent. The existing technologies (WS-CDL, WSCI and session types) require a behavioural contract associated with each service, which is impossible to derive automatically. Furthermore, neither technology supports flow inheritance: a mechanism that automatically and transparently propagates data through service pipelines. This paper presents a novel mechanism for automatic interface configuration of such services. Instead of checking consistency of the behavioural contracts, our approachfocuses solely on that of data formats in the presence of subtyping, polymorphism and flow inheritance. The paper presents a toolchain that automatically derives service interfaces from the code and performs interface configuration taking non-local constraints into account. Although the configuration mechanism is global, the services are compiled separately. As a result, the mechanism does not raise source security issues despite global service availability in adaptable form. Peer reviewed Other/Unknown Material Iceland University of Hertfordshire: UH Research Archive Electronic Proceedings in Theoretical Computer Science 228 27 34 |
institution |
Open Polar |
collection |
University of Hertfordshire: UH Research Archive |
op_collection_id |
ftunivhertford |
language |
English |
description |
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, ‘Configuring Cloud-Service Interfaces Using Flow Inheritance’, paper presented at iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud, Reykjavic, Iceland, 1- 4 June, 2016. Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reused in a variety of contexts. On the other hand, they must be specific enough so that their composition may be provably consistent. The existing technologies (WS-CDL, WSCI and session types) require a behavioural contract associated with each service, which is impossible to derive automatically. Furthermore, neither technology supports flow inheritance: a mechanism that automatically and transparently propagates data through service pipelines. This paper presents a novel mechanism for automatic interface configuration of such services. Instead of checking consistency of the behavioural contracts, our approachfocuses solely on that of data formats in the presence of subtyping, polymorphism and flow inheritance. The paper presents a toolchain that automatically derives service interfaces from the code and performs interface configuration taking non-local constraints into account. Although the configuration mechanism is global, the services are compiled separately. As a result, the mechanism does not raise source security issues despite global service availability in adaptable form. Peer reviewed |
author2 |
School of Computer Science Centre for Computer Science and Informatics Research Biocomputation Research Group |
author |
Zaichenkov, Pavel Tveretina, Olga Shafarenko, Alex |
spellingShingle |
Zaichenkov, Pavel Tveretina, Olga Shafarenko, Alex Configuring Cloud-Service Interfaces Using Flow Inheritance |
author_facet |
Zaichenkov, Pavel Tveretina, Olga Shafarenko, Alex |
author_sort |
Zaichenkov, Pavel |
title |
Configuring Cloud-Service Interfaces Using Flow Inheritance |
title_short |
Configuring Cloud-Service Interfaces Using Flow Inheritance |
title_full |
Configuring Cloud-Service Interfaces Using Flow Inheritance |
title_fullStr |
Configuring Cloud-Service Interfaces Using Flow Inheritance |
title_full_unstemmed |
Configuring Cloud-Service Interfaces Using Flow Inheritance |
title_sort |
configuring cloud-service interfaces using flow inheritance |
publishDate |
2016 |
url |
http://hdl.handle.net/2299/18676 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
Zaichenkov , P , Tveretina , O & Shafarenko , A 2016 , ' Configuring Cloud-Service Interfaces Using Flow Inheritance ' , Paper presented at iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud , Iceland , 4/06/16 . https://doi.org/10.4204/EPTCS.228.4 conference PURE: 10479282 PURE UUID: c8633109-25b5-4f3e-b721-2ede99fcf0ca Scopus: 85018891331 http://hdl.handle.net/2299/18676 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
228 |
container_start_page |
27 |
op_container_end_page |
34 |
_version_ |
1766040834985164800 |