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...
Saved in:
Main Authors: | , , , , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2020
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5882 https://ink.library.smu.edu.sg/context/sis_research/article/6887/viewcontent/André2020_Article_AutomatedSynthesisOfLocalTimeR.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-6887 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-68872021-03-29T05:24:53Z 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-07-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5882 https://ink.library.smu.edu.sg/context/sis_research/article/6887/viewcontent/André2020_Article_AutomatedSynthesisOfLocalTimeR.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 Web service composition Parameter synthesis Modeling Web services Formal semantics BPEL Parametric model checking Programming Languages and Compilers Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Web service composition Parameter synthesis Modeling Web services Formal semantics BPEL Parametric model checking Programming Languages and Compilers Software Engineering |
spellingShingle |
Web service composition Parameter synthesis Modeling Web services Formal semantics BPEL Parametric model checking Programming Languages and Compilers Software Engineering 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/5882 https://ink.library.smu.edu.sg/context/sis_research/article/6887/viewcontent/André2020_Article_AutomatedSynthesisOfLocalTimeR.pdf |
_version_ |
1770575641506217984 |