Composite Web Services as Dataflow Graphs for Constraint Verification

Jyotsana Gupta, Joey Paquet, Serguei Mokhov

2020

Abstract

Owing to advantages such as re-usability of components, broader options for composition requesters and liberty to specialize for component providers, composite services have been extensively researched and significantly enhanced in several respects. Yet, most of the studies undertaken fail to acknowledge that every web service has a limited context in which it can successfully perform its tasks. When used as part of a composition, the restricted context-spaces of all such component services together define the contextual boundaries of the composite service. However, from a thorough review of the existing literature on the subject, we have discovered that no systems have yet been proposed to cater to the specific verification of internal constraints imposed on components of a composite service. In an attempt to address this gap in service composition research, we propose a multi-faceted solution capable, firstly, of automatically constructing context-aware composite web services with their internal constraints positioned for optimum resource-utilization and, secondly, of validating the generated compositions using the General Intensional Programming SYstem (GIPSY) as a time- and cost-efficient simulation/execution environment.

Download


Paper Citation


in Harvard Style

Gupta J., Paquet J. and Mokhov S. (2020). Composite Web Services as Dataflow Graphs for Constraint Verification.In Proceedings of the 10th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-424-4, pages 282-291. DOI: 10.5220/0009342302820291


in Bibtex Style

@conference{closer20,
author={Jyotsana Gupta and Joey Paquet and Serguei Mokhov},
title={Composite Web Services as Dataflow Graphs for Constraint Verification},
booktitle={Proceedings of the 10th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2020},
pages={282-291},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009342302820291},
isbn={978-989-758-424-4},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Composite Web Services as Dataflow Graphs for Constraint Verification
SN - 978-989-758-424-4
AU - Gupta J.
AU - Paquet J.
AU - Mokhov S.
PY - 2020
SP - 282
EP - 291
DO - 10.5220/0009342302820291