National Research Foundation (NRF) Singapore ANR-NRF French-Singaporean research program ProMi

ANDRÉ, Étienne

CHEN, Manman

DONG, Jin Song

LIU, Shuang

LIU, Yang

SUN, Jun

TAN, Tian Huat

Software & Systems Modeling

English

arXiv

Institutional Knowledge at Singapore Management University

Automated synthesis of local time requirement for service composition

This is a pre-print of an article published in the International Journal on Software and Systems Modeling (SoSyM)International audienceService 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

André, Étienne

Tan, Tian Huat

Chen, Manman

Liu, Shuang

Sun, Jun

Liu, Yang

Dong, Jin Song

HAL-Rennes 1

INRIA a CCSD electronic archive server

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.Published versio

DR-NTU (Digital Repository of NTU)

https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=6115&amp;context=sis_research

Automated synthesis of local time requirement for service composition

Abstract

Similar works

Full text

Available Versions

Institutional Knowledge at Singapore Management University

Institutional Knowledge at Singapore Management University

HAL-Rennes 1

INRIA a CCSD electronic archive server

DR-NTU (Digital Repository of NTU)