Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/145790
Title: Automated synthesis of local time requirement for service composition
Authors: André, Étienne
Tan, Tian Huat
Chen, Manman
Liu, Shuang
Sun, Jun
Liu, Yang
Dong, Jin Song
Keywords: Engineering::Computer science and engineering
Issue Date: 2020
Source: André, É., Tan, T. H., Chen, M., Liu, S., Sun, J., Liu, Y., & Dong, J. S. (2020). Automated synthesis of local time requirement for service composition. Software and Systems Modeling, 19(4), 983-1013. doi:10.1007/s10270-020-00787-5
Journal: Software and Systems Modeling
Abstract: 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.
URI: https://hdl.handle.net/10356/145790
ISSN: 1619-1366
DOI: 10.1007/s10270-020-00787-5
Rights: © 2020 Springer-Verlag GmbH Germany. All rights reserved. This paper was published in Software and Systems Modeling and is made available with permission of Springer-Verlag GmbH Germany.
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Journal Articles

Files in This Item:
File Description SizeFormat 
André2020_Article_AutomatedSynthesisOfLocalTimeR.pdf1.51 MBAdobe PDFView/Open

Page view(s)

156
Updated on May 27, 2022

Download(s) 50

17
Updated on May 27, 2022

Google ScholarTM

Check

Altmetric


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.