Dynamic synthesis of local time requirement for service composition
Service composition makes use of existing servicebased applications as components to achieve a business goal. In time critical business environments, the response time of a service is crucial, which is also reflected as a clause in service level agreements (SLAs) between service providers and servic...
Saved in:
Main Authors: | , , , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2013
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4959 https://ink.library.smu.edu.sg/context/sis_research/article/5962/viewcontent/Dynamic_Synthesis_of_Local_Time_Requirement_for_Service_Composition.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-5962 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-59622020-02-27T03:08:50Z Dynamic synthesis of local time requirement for service composition TAN, Tian Huat ANDRÉ, Étienne SUN, Jun LIU, Yang DONG, Jin Song CHEN, Manman Service composition makes use of existing servicebased applications as components to achieve a business goal. In time critical business environments, the response time of a service is crucial, which is also reflected as a clause in service level agreements (SLAs) between service providers and service users. To allow the composite service to fulfill the response time requirement as promised, it is important to find a feasible set of component services, such that their response time could collectively allow the satisfaction of the response time of the composite service. In this work, we propose a fully automated approach to synthesize the response time requirement of component services, in the form of a constraint on the local response times, that guarantees the global response time requirement. Our approach is based on parameter synthesis techniques for real-time systems. It has been implemented and evaluated with real-world case studies. 2013-05-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/4959 info:doi/10.1109/ICSE.2013.6606600 https://ink.library.smu.edu.sg/context/sis_research/article/5962/viewcontent/Dynamic_Synthesis_of_Local_Time_Requirement_for_Service_Composition.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 Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Software Engineering |
spellingShingle |
Software Engineering TAN, Tian Huat ANDRÉ, Étienne SUN, Jun LIU, Yang DONG, Jin Song CHEN, Manman Dynamic synthesis of local time requirement for service composition |
description |
Service composition makes use of existing servicebased applications as components to achieve a business goal. In time critical business environments, the response time of a service is crucial, which is also reflected as a clause in service level agreements (SLAs) between service providers and service users. To allow the composite service to fulfill the response time requirement as promised, it is important to find a feasible set of component services, such that their response time could collectively allow the satisfaction of the response time of the composite service. In this work, we propose a fully automated approach to synthesize the response time requirement of component services, in the form of a constraint on the local response times, that guarantees the global response time requirement. Our approach is based on parameter synthesis techniques for real-time systems. It has been implemented and evaluated with real-world case studies. |
format |
text |
author |
TAN, Tian Huat ANDRÉ, Étienne SUN, Jun LIU, Yang DONG, Jin Song CHEN, Manman |
author_facet |
TAN, Tian Huat ANDRÉ, Étienne SUN, Jun LIU, Yang DONG, Jin Song CHEN, Manman |
author_sort |
TAN, Tian Huat |
title |
Dynamic synthesis of local time requirement for service composition |
title_short |
Dynamic synthesis of local time requirement for service composition |
title_full |
Dynamic synthesis of local time requirement for service composition |
title_fullStr |
Dynamic synthesis of local time requirement for service composition |
title_full_unstemmed |
Dynamic synthesis of local time requirement for service composition |
title_sort |
dynamic synthesis of local time requirement for service composition |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2013 |
url |
https://ink.library.smu.edu.sg/sis_research/4959 https://ink.library.smu.edu.sg/context/sis_research/article/5962/viewcontent/Dynamic_Synthesis_of_Local_Time_Requirement_for_Service_Composition.pdf |
_version_ |
1770575159510433792 |