Automated synthesis of local time requirement for service composition

Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers...

Full description

Saved in:
Bibliographic Details
Main Authors: ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2020
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5112
https://ink.library.smu.edu.sg/context/sis_research/article/6115/viewcontent/2003.08116.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-6115
record_format dspace
spelling sg-smu-ink.sis_research-61152020-04-16T07:05:55Z Automated synthesis of local time requirement for service composition ANDRÉ, Étienne TAN, Tian Huat CHEN, Manman LIU, Shuang SUN, Jun LIU, Yang DONG, Jin Song Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important to select a feasible set of component services such that their response time will collectively satisfy the response time requirement of the composite service. In this work, we use the BPEL modeling language that aims at specifying Web services. We extend it with timing parameters and equip it with a formal semantics. Then, we propose a fully automated approach to synthesize the response time requirement of component services modeled using BPEL, in the form of a constraint on the local response times. The synthesized requirement will guarantee the satisfaction of the global response time requirement, statically or dynamically. We implemented our work into a tool, SELAMAT and performed several experiments to evaluate the validity of our approach. 2020-03-01T08:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5112 info:doi/10.1007/s10270-020-00787-5 https://ink.library.smu.edu.sg/context/sis_research/article/6115/viewcontent/2003.08116.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University BPEL Formal semantics Modeling Web services Parameter synthesis Parametric model checking Web service composition Software Engineering Systems Architecture
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic BPEL
Formal semantics
Modeling Web services
Parameter synthesis
Parametric model checking
Web service composition
Software Engineering
Systems Architecture
spellingShingle BPEL
Formal semantics
Modeling Web services
Parameter synthesis
Parametric model checking
Web service composition
Software Engineering
Systems Architecture
ANDRÉ, Étienne
TAN, Tian Huat
CHEN, Manman
LIU, Shuang
SUN, Jun
LIU, Yang
DONG, Jin Song
Automated synthesis of local time requirement for service composition
description Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important to select a feasible set of component services such that their response time will collectively satisfy the response time requirement of the composite service. In this work, we use the BPEL modeling language that aims at specifying Web services. We extend it with timing parameters and equip it with a formal semantics. Then, we propose a fully automated approach to synthesize the response time requirement of component services modeled using BPEL, in the form of a constraint on the local response times. The synthesized requirement will guarantee the satisfaction of the global response time requirement, statically or dynamically. We implemented our work into a tool, SELAMAT and performed several experiments to evaluate the validity of our approach.
format text
author ANDRÉ, Étienne
TAN, Tian Huat
CHEN, Manman
LIU, Shuang
SUN, Jun
LIU, Yang
DONG, Jin Song
author_facet ANDRÉ, Étienne
TAN, Tian Huat
CHEN, Manman
LIU, Shuang
SUN, Jun
LIU, Yang
DONG, Jin Song
author_sort ANDRÉ, Étienne
title Automated synthesis of local time requirement for service composition
title_short Automated synthesis of local time requirement for service composition
title_full Automated synthesis of local time requirement for service composition
title_fullStr Automated synthesis of local time requirement for service composition
title_full_unstemmed Automated synthesis of local time requirement for service composition
title_sort automated synthesis of local time requirement for service composition
publisher Institutional Knowledge at Singapore Management University
publishDate 2020
url https://ink.library.smu.edu.sg/sis_research/5112
https://ink.library.smu.edu.sg/context/sis_research/article/6115/viewcontent/2003.08116.pdf
_version_ 1770575222952427520